主　　题：全国大学生数学竞赛发展与探索

主 讲 人：佘志坤

时　　间：2026年9月20日（周日）8:30

地　　点：文学楼报告厅

主办单位：科学技术发展研究院

承办单位：数学与统计学院

主讲人简介：

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

欢迎广大师生光临！