当前位置 : 首页 - 学科建设动态 - 正文

【学术报告预告】可信智能系统内生安全构造与评估

发布日期:2024-06-07     文章来源:    点击:

报告专家:李钦

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

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

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

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

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