報告專家：劉關俊
報告時間：2024年6月18日19：00
報告地點：騰訊會議799-621-707
專家簡介：教授，博導，同濟大學計算機軟件與理論博士學位，曾于新加坡科技設計大學、德國柏林洪堡大學（德國洪堡基金資助）從事博士后研究工作。中國計算機學會高級會員，計算機學會形式化方法專委會常務委員、軟件工程專委會執行委員、中國人工智能學會會員、上海市人工智能學會可信智能系統專委副主任委員、IEEE Senior Member、IEEE Transactions on Computational Social Systems編委（2023.1-2025.12）。已出版學術著作4本，發表學術論文160余篇，主持國家自然科學基金、上海市曙光人才項目、上海市科技創新行動計劃（人工智能專項）等項目10余項。主要研究興趣：并發理論、Petri網與模型檢測、多智能體深度強化學習與無人機協同、實時嵌入式系統分析、網絡支付欺詐檢測等。
主辦單位：學科建設辦公室
承辦單位：計算機科學與技術學院
陜公網安備 61010302000682號
