主      题：信工学院学术讲座： 程序验证与自动推理

主  讲  人： 吴志林  副研究员（中科院软件所）

时      间： 2017.12.27，星期三，10:00-11:20

地      点： 首师大北二区教学楼大会议室

主 办 单 位：信息工程学院

主讲学者简介：

中国科学院软件研究所、计算机科学国家重点实验室, 副研究员，硕士生导师。研究方向为程序分析与验证、自动推理、计算逻辑、自动机理论等。2007年6月毕业于中国科学院软件研究所，获博士学位。2007-2009在中国科学院自动化研究所中法信息、自动化与应用数学联合实验室做博士后，2009-2010在法国波尔多大学LaBRI实验室做博士后。2010年加入中国科学院软件研究所计算机科学国家重点实验室任助理研究员，2012年至今担任副研究员，2014-2015期间为法国巴黎七大IRIF实验室的国家公派访问学者。在国际重要会议和期刊上发表论文30余篇，其中包括国际顶级会议LICS、CAV、POPL、IJCAI、AAAI和顶级期刊Information and Computation。