时间：2023年05月16日9：30-10:20

地点：良乡校区，良乡综合楼 1203j（公共阶梯）

主讲人： 施智平 教授

主 题：可信系统与定理证明　

主办单位：信息工程学院人工智能党支部

主讲人简介：

施智平，首都师范大学信息工程学院教授，院长，电子系统可靠性技术北京市重点实验室主任。研究兴趣包括形式化验证、计算机视觉。先后主持科技部国际科技合作项目、JWKJW专项、国家自然科学基金等国家级项目6项，在包括CVPR、ACM MM、IEEE TIP等重要期刊和会议上发表学术论文100多篇，出版专著4部，多次获得北京市科学技术奖。中国计算机学会高级会员，形式化方法专委会委员，人工智能学会智能服务专委会常委，IEEE/ACM 会员。

内容简介：　　

随着信息技术的发展，信息系统的应用越来越广泛的涉及安全攸关系统，比如自动驾驶系统、航空航天系统、核电站、医护机器人等等。确保此类系统的正确可信至关重要。定理证明形式化方法是信息系统正确性保证的重要方法，本次讲座介绍形式化方法和定理证明的基本概念和研究进展。