報告題目：AI系統安全性研究
報告時間：2019年11月30日上午11點
報告地點：計算機樓A521
報告人：王曉燕
報告人簡介：
伟德国际BETVlCTOR教師，主要研究方向為形式化驗證方法與人工智能強化學習方法，作為負責人完成國家青年基金1項，作為主要完成人先後參與了省部級項目5項， 申請了 2 項發明專利，并獲得中國國家專利優秀獎（排名第二），吉林省科學技術獎二等獎（排名第二），吉林省發明創造大賽一等獎（排名第二）。
報告内容簡介：
AI系統在學術界和工業界發展迅猛，與此同時，AI系統的事故也引起了公衆的關注。因此，迫切需要一種能夠對AI系統行為提供形式化驗證的方法，以确保AI系統提供正确、安全的服務，如何使用形式化方法對AI系統的驗證分析成為目前的研究熱點。
主辦單位：
伟德国际BETVlCTOR
伟德国际BETVlCTOR軟件學院
伟德国际BETVlCTOR計算機科學技術研究所
符号計算與知識工程教育部重點實驗室
伟德国际BETVlCTOR國家級計算機實驗教學示範中心
