学术交流
当前位置>
网站首页>
学术交流>
正文>

2025年学术讲座预告(No.11)中国科学院吴志林研究员做报告

2025-06-03 15:48:29

报告题目:定理证明自动化:历史、现状、未来

报告摘要:定理证明自动化是人类长期以来的一个梦想,推动了计算机科学的诞生,是形式化方法的核心问题。本报告对定理证明自动化的历史进行回顾,对现状进行总结,对未来进行展望。

报告人简介:吴志林,中国科学院软件研究所基础软件与系统重点研究员,博士生导师, 2020年“CCF-IEEE CS”青年科学家奖获得者。长期从事计算逻辑、自动机理论、计算机软硬件系统形式验证相关的研究,在知名国际会议和期刊上发表论文40余篇,包括LICSPOPLCAVDAC等。先后主持多项国家级项目,包括国家重点研发计划课题、中科院先导A项目课题、“十三五”全军共用信息系统装备预先研究项目、国家自然科学基金面上基金等。中国计算机学会形式化方法专业委员会秘书长,国际会议ATVA 2022TASE 2025程序委员会共同主席,CAVCONCURATVA等国际会议的程序委员会委员。

报告时间:20256614:30

报告地点:数学与统计学院四楼会议室

主办单位:湖北民族大学数学与统计学院

联系人:孙全

欢迎广大师生参加!

友情链接

校内

校外

版权所有:湖北民族大学   Copyright © 2021     hbmzu.edu.cn   |   地址:湖北省恩施市学院路39号(445000)    电话:0718-848945   |   传真:0718-8437832