2019年11月30日上午，伟德国际BETVlCTOR教師王曉燕博士應伟德国际BETVlCTOR邀請，在計算機樓A521作了題為“AI系統安全性研究”的學術報告。
王曉燕博士是伟德国际BETVlCTOR教師，主要研究方向為形式化驗證方法與人工智能強化學習方法，作為負責人完成國家青年基金1項，作為主要完成人先後參與了省部級項目5項， 申請了 2 項發明專利，并獲得中國國家專利優秀獎（排名第二），吉林省科學技術獎二等獎（排名第二），吉林省發明創造大賽一等獎（排名第二）。
在報告中，王曉燕博士介紹了AI系統安全性的研究現狀、發展趨勢等問題，就對AI系統行為提供形式化驗證的方法，以确保AI系統提供正确、安全的服務，如何使用形式化方法對AI系統的驗證分析進行了介紹。最後，王曉燕博士與現場師生就AI系統形式化驗證分析等一系列問題進行了熱烈的讨論。本次報告受到了計算機學院師生的熱烈響應和一緻好評。
