报告人：佘志坤 教授（北京航空航天大学数学学院）

报告题目：基于可达集上下近似的混成系统安全性验证研究

报告人简介：

佘志坤，男，北京航空航天大学数学学院教授、博士生导师。主要从事混成系统自动验证、智能系统协同控制、微分方程和动力系统、符号－数值计算的研究。在ACM Transactions on Embedded Computing Systems、SIAM Journal on Control and Optimization、IEEE Transactions on Automatic Control等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文70余篇，研究成果获得包含1位图灵奖获得者、3位自动推理杰出贡献奖获得者、12位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。

报告时间: 2020年10月11日 下午15:30-17:30

报告地点：科技南楼602