2024年7月15日上午，中科院软件所吴志林研究员将到访实验，于电信学院264室做报告。

题目：计算机软硬件基础设施的形式化验证
报告人：吴志林，中国科学院软件研究所研究员
报告人简介：吴志林，中国科学院软件研究所基础软件与系统重点实验室（计算机科学国家重点实验室）研究员，博士生导师。主要研究方向为计算机软硬件基础设施形式化验证、计算逻辑、自动机理论。博士毕业于中国科学院软件研究所计算机科学国家重点实验室，先后在中国科学院自动化研究所中法计算机科学、自动化与应用数学联合实验室和法国波尔多第一大学LaBRI实验室从事博士后研究。2014-2015在法国巴黎第七大学IRIF实验室担任国家留学基金委公派访问学者。在知名国际会议和期刊上发表论文40余篇，包括LICS、POPL、CAV、DAC、Information and Computation、IJCAR、CADE、CONCUR等。先后主持多项国家级项目，包括国家重点研发计划课题、中科院先导A项目课题、“十三五”全军共用信息系统装备预先研究项目等。参与研制的字符串约束求解器OSTRICH获得2023年度国际SMT求解器竞赛字符串理论第一名。中国计算机学会形式化方法专业委员会秘书长，国际会议ATVA 2022程序委员会共同主席，CAV、CONCUR、ATVA等国际会议的程序委员会委员。2020年“CCF-IEEE CS”青年科学家奖获得者。