讲座主题：大语言模型赋能形式化验证：机遇与挑战
专家姓名：吴志林
工作单位：中国科学院软件研究所
讲座时间：2026年06月06日 11:00-11:40
讲座地点：承先图书馆报告厅
主办单位：烟台凯旋官网计算机与控制工程学院
内容摘要：
大语言模型对计算机研究的各个领域都造成了冲击，本报告将对大语言模型给形式化验证带来的机遇和挑战进行分析梳理，并介绍中科院软件所基础软件验证研究室在该领域的最新的研究进展，包括大语言模型赋能约束求解，大语言模型赋能模型检测，大语言模型赋能程序终止性分析。最后对未来进行展望。
主讲人介绍：
吴志林，博士，研究员，博士生导师，中国科学院软件研究所基础软件与系统重点实验室常务副主任，2020年“CCF-IEEE CS”青年科学家奖获得者。主要从事计算机基础软硬件形式化验证方向的研究。主持多项国家级项目，包括国家重点研发计划课题、中科院先导A项目课题等，在知名国际会议和期刊上发表论文40余篇，包括LICS、POPL、CAV、FM、Information and Computation、DAC、ICCAD等。中国计算机学会形式化方法专业委员会秘书长，国际会议ATVA 2022、TASE 2025程序委员会共同主席，CAV、CONCUR、ATVA等国际会议的程序委员会委员。
