主题：基于形式化方法的智能算法安全保障

时间：2023年6月20日（周二）15:50

地点：yl9193永利二层大会议室

主讲人：张立军

主持人：施智平

主办单位：yl9193永利

主讲人简介：

张立军，中国科学院软件研究所博士生导师，研究员，中国科学院大学特聘教授。主要从事形式化方法、智能算法可靠性研究，在学术会议及期刊发表了一百余篇论文。带领团队开发了概率模型验证工具ePMC。2013年被聘为中科院软件所研究员，回国前曾任牛津大学博士后、丹麦科技大学长聘副教授。获国家自然科学基金委员会“重点项目”等多项项目资助， 2022年获中科院稳定支持基础研究团队项目资助，作为负责人带领研究开放环境下的可信智能算法。

主讲内容简介：

基于深度学习模型的智能组件在智能系统中负责核心计算与决策任务，其安全性是系统全局安全的基石。本报告介绍目前的基于形式化方法智能算法安全保证验证发展现状，并介绍团队在过去几年在形式验证理论框架、基于概率的模型学习、及自动机验证等方面相关工作，分享智能系统在自动驾驶中应用以及安全保证面临的学术挑战。