报告专家：李钦

报告时间：2024年6月13日19：00

报告地点：腾讯会议500-665-459

专家简介：华东师范大学软件工程学院副教授，主要研究方向为人机物融合系统可信建模与验证、安全可信智能系统建模理论与验证方法、多智能体协同决策的形式化建模与分析等。已在IEEE Transactions on Computers、Formal Aspects of Computing、Science of Computer Programming等国际期刊和会议上发表学术论文40余篇。承担国家重点研发计划课题《多源城市数据全生命周期可信保障技术体系》，基金委面上项目《面向智能网联车的时空认知多粒度分解与协同机制的建模与验证》。担任形式化方法方向重要国际会议TASE2020程序委员会主席，参与多个形式化方法国际期刊与会议的审稿工作。

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

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