面向安全攸关领域的智能系统的形式化分析与验证

2月20日下午，华东师范大学杨争峰教授应邀来到统计系，开展了题为《面向安全攸关领域的智能系统的形式化分析与验证》的学术讲座。讲座由统计系党总支副书记、副主任武斌主持。统计系全体教师到场聆听。

首先，杨争峰教授对攸关智能系统进行简要介绍并阐述了人工智能发展的现状。他谈到，人工智能系统已被广泛运用于各项安全攸关领域，如何构造安全的AI组件已引起了可信人工智能领域的广泛关注。对此，杨教授结合自身的工作经历围绕智能系统的安全验证、智能系统AI组件的构造与优化等方面深入讲解了智能系统可信分析与验证方面所取得的结果。杨教授全方位、多角度、深层次地将抽象的“智能系统”描述得浅显易懂。在场的老师认真倾听、收获颇丰，对智能系统有了更深层次的了解。

会后，双方就科研团队建设、教师个人能力提升、学术论文撰写技巧等相关问题进行了深入的交流和探讨。