報告專家：李欽
報告時間：2024年6月13日19：00
報告地點：騰訊會議500-665-459
專家簡介：華東師范大學軟件工程學院副教授，主要研究方向為人機物融合系統可信建模與驗證、安全可信智能系統建模理論與驗證方法、多智能體協同決策的形式化建模與分析等。已在IEEE Transactions on Computers、Formal Aspects of Computing、Science of Computer Programming等國際期刊和會議上發表學術論文40余篇。承擔國家重點研發計劃課題《多源城市數據全生命周期可信保障技術體系》，基金委面上項目《面向智能網聯車的時空認知多粒度分解與協同機制的建模與驗證》。擔任形式化方法方向重要國際會議TASE2020程序委員會主席，參與多個形式化方法國際期刊與會議的審稿工作。
主辦單位：學科建設辦公室
承辦單位：計算機科學與技術學院
陜公網安備 61010302000682號
