时间：2024年 6月11 日 下午3：00-3：40

地点：良乡校区，良乡综合楼 1325

主讲人：王瑞 教授

主 题：可信软件与形式化验证　

主办单位：yl9193永利人工智能党支部

主讲人简介：

王瑞，yl9193永利教授，人工智能专业负责人。主要研究方向为机器人安全验证、形式化方法。主持国家自然科学基金2项，主持重点研发计划子课题、华为下一代嵌入式软件重大横向课题，作为骨干成员参与北京市科委装备制造领域项目和国家科技支撑计划项目。研究成果在CCF-A类顶级会议ICSE、UXENIX、DAC和期刊TC、TCAD上发表，累计发表论文70余篇。获得CPScom 2019和ICII 2019的最佳论文奖。参与撰写机器人相关国家标准两项，获批国家发明专利十余项，并完成两项专利的转化。

内容简介：　　

形式化验证技术具有严格数学基础，包括定理证明、模型检验、约束求解、抽象解释等多种方法；经过多年发展，其已经成为保障计算机软硬件系统安全性的重要途径，并成功应用于航空航天控制软件、操作系统内核、编译器、硬件设计、网络协议等领域，从而受到学术界和工业界的广泛关注。本次讲座介绍形式化方法的基本概念、挑战以及国内外最新的发展趋势和应用情况。