时间:2023年05月16日9:30-10:20
地点:良乡校区,良乡综合楼 1203j(公共阶梯)
主讲人: 施智平 教授
主 题:可信系统与定理证明
主办单位:信息工程学院人工智能党支部
主讲人简介:
施智平,首都师范大学信息工程学院教授,院长,电子系统可靠性技术北京市重点实验室主任。研究兴趣包括形式化验证、计算机视觉。先后主持科技部国际科技合作项目、JWKJW专项、国家自然科学基金等国家级项目6项,在包括CVPR、ACM MM、IEEE TIP等重要期刊和会议上发表学术论文100多篇,出版专著4部,多次获得北京市科学技术奖。中国计算机学会高级会员,形式化方法专委会委员,人工智能学会智能服务专委会常委,IEEE/ACM 会员。
内容简介:
随着信息技术的发展,信息系统的应用越来越广泛的涉及安全攸关系统,比如自动驾驶系统、航空航天系统、核电站、医护机器人等等。确保此类系统的正确可信至关重要。定理证明形式化方法是信息系统正确性保证的重要方法,本次讲座介绍形式化方法和定理证明的基本概念和研究进展。