公共目录

您目前的位置: 首页» 公共目录» 学术活动

可信系统与定理证明——“立远志,拓视野”人工智能党支部良乡行系列讲座

时间:20230516930-10:20

地点:良乡校区,良乡综合楼 1203j(公共阶梯)

主讲人: 施智平 教授

题:可信系统与定理证明 

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

  

主讲人简介:

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


内容简介:  

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