应我校邀请，北京航空航天大学佘志坤教授将为我校师生作学术报告。现将具体事宜预告如下：

报告题目：全国大学生数学竞赛发展与探索

主 讲 人：佘志坤

时    间：2023年7月25日15:00—16:30

地    点：西北新村校区文溪楼108会议室

主办单位：数学与计算机科学学院

欢迎全校师生参加。

主讲人简介

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