主講人：佘志坤 教授
時 間：2023年7月30日（周日）15:00
地 點：中心校區 第二教學樓數學建模機房
主辦單位：科技處 伟德官网下app官方网站
專家簡介：
佘志坤，北京航空航天大學教授、博導，中國數學會理事兼數學競賽委員會副主任及全國大學生數學競賽工作組組長，《全國大學生數學競賽叢書》主編。主要從事混成系統自動驗證、智能系統協同控制等方面的研究。在ACM彙刊、IEEE彙刊、SIAM期刊等國際期刊和CAV、HSCC、AAAI等國際會議上發表學術論文90餘篇。研究成果獲得包含1位圖靈獎獲得者、1位哥德爾獎獲得者、3位自動推理傑出成就獎獲得者、15位院士、20餘位ACM/IEEE會士在内的國内外學者的正面評價與引用。