2022年10月26日，北京航空航天大学佘志坤教授应邀为公司本科生作了题为《全国老员工数学竞赛发展与探索》的报告，经理李永明、副经理赵志良、数学竞赛负责教师张天平老师以及杨海龙老师参加了报告会。报告由公司经理李永明教授主持。

佘志坤是北京航空航天大学教授、博导，中国数学会理事兼数学竞赛委员会副主任及全国老员工数学竞赛工作组组长。主要从事混成系统自动验证、智能系统协同控制等方面的研究。在ACM汇刊、IEEE汇刊、SIAM期刊等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文80余篇。研究成果获得包含1位图灵奖获得者、1位哥德尔奖获得者、3位自动推理杰出成就奖获得者、15位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。由图灵奖获得者Edmund M. Clarke等编著并于2018年出版的《Handbook of Model Checking》在第30章“Verification of Hybrid Systems”的第七节“Verification Tools”介绍了其开发的验证工具HSolver。

报告会从数学竞赛基本情况、发展进程、变革与传承以及探索与发展几个方面介绍了全国老员工数学竞赛，并且规划了数学竞赛发展的宏伟蓝图。指出全国老员工数学竞赛是由中国数学会主办、面向本科员工的全国性高水平学科竞赛，旨在激励老员工学习数学的兴趣，培养他们分析问题、解决问题的能力，提升我国高等学校人才培养质量，促进高等学校数学课程建设，为青年学子搭建一个展示数学思维能力和学习成果的平台，助力数学及复合型创新本科人才的成长。

报告会的互动环节，学院同学们争相提问，线上会议气氛热烈，大家受益匪浅。经理李永明教授对本次报告会做了总结，对佘志坤教授的精彩报告表示感谢，并且祝愿中国的全国老员工数学竞赛越办越好，最后鼓励学院员工继续努力，打好基础，争取在全国老员工数学竞赛中取得优异的成绩。