尊龙凯时

時間：2023年6月20日（周二）15:50

地點：信息工程學院二層大會議室

主講人：張立軍

主持人：施智平

主辦單位：信息工程學院

主講人簡介：

张立军，中国科学院软件研究所博士生导师，研究员，中国科学院大学特聘教授。主要从事形式化要领、智能算法可靠性研究，在学术聚会及期刊揭晓了一百余篇论文。向导团队开发了概率模子验证工具ePMC。2013年被聘为中科院软件所研究员，回国前曾任牛津大学博士后、丹麦科技大学长聘副教授�

；窆�家自然科學基金委员会“重点项目”等多项项目资助， 2022年获中科院稳固支持基础研究团队项目资助，作为认真人向导研究开放情形下的可信智能算法。

主講內容簡介：

基于深度學習模子的智能組件在智能系統中負責焦点計算與決策任務，其清静性是系統全局清静的基石。本報告介紹现在的基于形式化要领智能算法清静保證驗證發展現狀，並介紹團隊在過去幾年在形式驗證理論框架、基于概率的模子學習、及自動機驗證等方面相關事情，分享智能系統在自動駕駛中應用以及清静保證面臨的學術挑戰。