10月20日下午，应学院邀请，华中科技大学教授曾志刚、北京大学特聘教授詹乃军在学院107教室分别作了题为“人工智能热点简介”、“面向人机物融合的安全攸关系统软件高效开发和可信保证”的学术报告。报告会由学院负责人主持，学院部分教师、研究生聆听了报告。

曾志刚首先介绍了人工智能的最早起源、发展历程以及研究现状，随后重点介绍了人工智能的应用场景与关键技术。他指出人工智能在智能制造、智慧城市、医疗健康、金融科技等领域有着广泛应用，并且取得了大量突破性成果。同时，他认为当前人工智能发展也面临诸多挑战和问题，如数据隐私保护、算法公平性、模型可解释性等。

詹乃军首先以如“甬温”列车相撞、波音737 Max软件故障引起多起空难为例，引出安全攸关系统软件一直是计算机科学与控制理论面临的重大挑战。然后，探讨了人机物融合的数据驱动和模型驱动给安全攸关系统高效开发提供了可能解决方案，最后，讨论基于仿真、测试和验证技术的安全攸关系统可信保障技术面临的挑战及可能发展方向。

报告结束后，参会师生积极提出问题，二位老师与师生展开了热烈讨论，并进行了全面解答。

曾志刚简介:

曾志刚，教授，国家杰出青年科学基金获得者，教育部长江学者特聘教授，万人计划科技创新领军人才，IEEE Fellow，华中科技大学人工智能与自动化学院院长，图像信息处理与智能控制教育部重点实验室主任。2003年6月在华中科技大学获系统分析与集成博士学位。曾在香港中文大学和中国科技大学从事博士后研究。先后担任IEEE Transactions on Neural Networks；IEEE Transactions on Cybernetics；IEEE Transactions on Fuzzy Systems；Cognitive Computation；Neural Networks；Applied Soft Computing；自动化学报；控制工程；系统工程与电子技术；控制理论与应用的编委。曾获教育部自然科学奖一等奖、湖北省自然科学一等奖、湖北省科技进步一等奖、国家科学技术进步奖二等奖等奖励。

詹乃军简介:

詹乃军，男，1971年5月生，北京大学计算机学院博雅特聘教授，国家杰出青年科学基金获得者。之前，为中科院软件所研究员，中科院特聘研究员，中国科学院大学岗位教授，计算机科学国家重点实验室执行主任。分别在南京大学数学系（1989-1993）和南京大学计算机系（1993-1996）获得学士和硕士学位，在中国科学院软件研究所获得博士学位（1997-2000）。研究方向包括：形式化方法，实时、嵌入式、混成系统，程序验证等。任《Journal of Automated Reasoning》、《Formal Aspects of Computing》、《J. of Logical and Algebraic Methods in Programming》、《Research Direction: Cyber-Physical Systems》、《软件学报》、《计算机研究与发展》、《电子学报》、《前瞻科技》等期刊编委，国际会议MEMOCODE和SETTA的指导委员会委员，多个国际会议程序委员会共同主席（如形式化方法旗舰会议FM 2021）和著名国际会议程序委员会委员（如CAV、RTSS、HSCC、ICCPS、EMSOFT等）；在著名国际会议和杂志发表论文150多篇，出版专著2部，编著4部等。