佘志坤，tyc8722太阳集团教授、博导，中国数学会理事、全国大学生数学竞赛工作组组长，《全国大学生数学竞赛丛书》主编。主要从事混成系统自动验证、智能系统协同控制等方面的研究。在ACM汇刊、IEEE汇刊、SIAM期刊等国际期刊和AAAI 、CAV、HSCC等国际会议上共发表学术论文100余篇。研究成果获得包含1位图灵奖获得者、1位哥德尔奖获得者、3位自动推理杰出成就奖获得者、20余位院士、30余位ACM/IEEE会士在内的国内外学者的正面评价与引用。主持国家重点研发计划课题、国家自然科学基金项目（优青、面上、青年）、北京市自然科学基金重点研究专题项目等10余项，获北京市教育教学成果奖二等奖1项（第一完成人）、教育部自然科学奖一等奖1项（第三完成人）。