2024年3月15日，北京航空航天大学佘志坤教授应邀为我院作了题“基于可达集上下近似的混成系统安全性验证研究”的学术报告。报告会由谢加良教授主持。
报告会上，佘志坤教授先用轨道安全和航天航空安全等几个事例引出混合系统的研究背景，然后介绍了混成系统的发展历程和一般模型，接下来详细介绍了可达集计算的过近似和下近似的概念和发展，并给出了详细的计算例子，最后对未来的研究工作方向进行了展望。
报告最后，佘志坤教授与师生们进行了热烈融洽的互动和交流，为我院师生提供良好的学术交流和学习平台，进一步增强我院研究生的学术信心，提升学术热情，对提高我院研究生的培养质量发挥了积极作用。
佘志坤，北京航空航天大学教授、博导，中国数学会理事兼全国大学生数学竞赛工作组组长，《全国大学生数学竞赛丛书》主编。主要从事混成系统自动验证、智能系统协同控制等方面的研究。在ACM汇刊、IEEE汇刊、SIAM期刊等国际期刊和CAV、AAAI等国际会议上发表学术论文100余篇。研究成果获得包含1位图灵奖获得者、1位哥德尔奖获得者、3位自动推理杰出成就奖获得者、15位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。
