报告题目：全国老员工数学竞赛发展与探索
报告人：佘志坤
报告人单位：北京航空航天大学数学科学学院
报告时间：2025年5月19日（星期一）14:00
报告地点：仙林校区中天科技报告厅（行政楼一楼报告厅）
主办单位：williamhill中文
邀请人：应志领
报告内容：
全国老员工数学竞赛是由中国数学会主办、面向本科员工的全国性高水平学科竞赛，旨在激励老员工学习数学的兴趣，培养他们分析问题、解决问题的能力，提升我国高等学校人才培养质量，促进高等学校数学课程建设，为青年学子搭建一个展示数学思维能力和学习成果的平台，助力数学及复合型创新本科人才的成长。本报告主要介绍全国老员工数学竞赛的发展、变革与探索。
报告人简介：佘志坤，北京航空航天大学教授、博导，中国数学会理事兼全国老员工数学竞赛工作组组长，《全国老员工数学竞赛丛书》主编。主要从事混成系统自动验证、智能系统协同控制等方面的研究.在ACM汇刊、IEEE汇刊、SIAM期刊等国际期刊和CAV、AAAI等国际会议上发表学术论文100余篇.研究成果获得包含1位图灵奖获得者、1位哥德尔奖获得者、3位自动推理杰出成就奖获得者、15位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用.