报告专家：刘关俊

报告时间：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网与模型检测、多智能体深度强化学习与无人机协同、实时嵌入式系统分析、网络支付欺诈检测等。

主办单位：学科建设办公室

承办单位：计算机科学与技术学院