主讲人：佘志坤 教授

时 间：2023年7月30日（周日）15:00

地 点：中心校区 第二教学楼数学建模机房

主办单位：科技处 数学与统计学院

专家简介：

佘志坤，北京航空航天大学教授、博导，中国数学会理事兼数学竞赛委员会副主任及全国大学生数学竞赛工作组组长，《全国大学生数学竞赛丛书》主编。主要从事混成系统自动验证、智能系统协同控制等方面的研究。在ACM汇刊、IEEE汇刊、SIAM期刊等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文90余篇。研究成果获得包含1位图灵奖获得者、1位哥德尔奖获得者、3位自动推理杰出成就奖获得者、15位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。