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