報(bào)告專(zhuān)家：李欽
報(bào)告時(shí)間：2024年6月13日19：00
報(bào)告地點(diǎn)：騰訊會(huì)議500-665-459
專(zhuān)家簡(jiǎn)介：華東師范大學(xué)軟件工程學(xué)院副教授，主要研究方向?yàn)槿藱C(jī)物融合系統(tǒng)可信建模與驗(yàn)證、安全可信智能系統(tǒng)建模理論與驗(yàn)證方法、多智能體協(xié)同決策的形式化建模與分析等。已在IEEE Transactions on Computers、Formal Aspects of Computing、Science of Computer Programming等國(guó)際期刊和會(huì)議上發(fā)表學(xué)術(shù)論文40余篇。承擔(dān)國(guó)家重點(diǎn)研發(fā)計(jì)劃課題《多源城市數(shù)據(jù)全生命周期可信保障技術(shù)體系》，基金委面上項(xiàng)目《面向智能網(wǎng)聯(lián)車(chē)的時(shí)空認(rèn)知多粒度分解與協(xié)同機(jī)制的建模與驗(yàn)證》。擔(dān)任形式化方法方向重要國(guó)際會(huì)議TASE2020程序委員會(huì)主席，參與多個(gè)形式化方法國(guó)際期刊與會(huì)議的審稿工作。
主辦單位：學(xué)科建設(shè)辦公室
承辦單位：計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院
陜公網(wǎng)安備 61010302000682號(hào)
