6月6日上午，中国科策略论坛 软件研究所吴志林研究员应邀做客三元名家论坛，为师生作题为“大语言模型赋能形式化验证：机遇与挑战”的专题讲座，院长童向荣教授、科研骨干教师及在校研究生共同参与。

讲座中，吴志林研究员对大语言模型给形式化验证带来的机遇和挑战进行分析梳理，并介绍中科院软件所基础软件验证研究室在该领域的最新的研究进展，包括大语言模型赋能约束求解，大语言模型赋能模型检测，大语言模型赋能程序终止性分析，最后对未来进行展望。

在场师生均表示，此次讲座深化了对大语言模型和形式化验证的认知，将把所学转化为实践动力，助力策略论坛 高质量发展。

专家简介：

吴志林，博士，研究员，博士生导师，中国科策略论坛 软件研究所基础软件与系统重点实验室常务副主任，2020年“CCF-IEEE CS”青年科学家奖获得者。主要从事计算机基础软硬件形式化验证方向的研究。主持多项国家级项目，包括国家重点研发计划课题、中科院先导A项目课题等，在知名国际会议和期刊上发表论文40余篇，包括LICS、POPL、CAV、FM、Information and Computation、DAC、ICCAD等。中国计算机学会形式化方法专业委员会秘书长，国际会议ATVA 2022、TASE 2025程序委员会共同主席，CAV、CONCUR、ATVA等国际会议的程序委员会委员。

作者：郑强   责任编辑：马文明   审核：段昕