个人简历

教育经历
2009.09 - 2014.06 华东师范大学 博士
2005.09 - 2009.06 兰州大学 本科

工作经历
2019.11 - 至今 华东师范大学 青年研究员
2017.09 - 2019.08 美国爱荷华州立大学 (Iowa State University) 博士后研究员（合作导师：Kristin Y. Rozier）
2014.09 - 2017.08 美国莱斯学（Rice University）博士后研究员（合作导师：Moshe Y. Vardi）

个人简介
李建文，现为华东师范大学软件工程学院青年研究员（华东师范大学紫江青年学者）。其于2014年6月在华东师范大学软件工程学院获博士学位，师从中科院院士何积丰教授。2014年9月到2017年8月间在美国莱斯大学（Rice University）从事博士后研究工作，师从国际著名计算机科学家Moshe Y. Vardi；2017年9月到2019年8月在美国爱荷华州立大学（Iowa State University）继续从事博士后研究工作。
截至目前，其共发表论文27篇，包含CCF A类期刊或会议论文5篇 (第一作者4篇，通讯作者1篇) ，CCF B类期刊或会议4篇(均为第一作者) 。
李建文在本研究领域内有两大原创性研究成果：1) 首次引入命题逻辑技术 (SAT) 来解决验证时态逻辑推理问题。 该工作发表在验证领域顶级会议CAV 2019，顶级期刊Formal Method in System Design以及人工智能顶级会议AAAI 2019 上。2) 提出了一种新型的模型检查验证算法互补近似计算 (CAR)。该工作发表在EDA验证领域顶级会议ICCAD 2017和CAV 2018上，并且其设计开发的工具原型SimpleCAR通过了多达7人评审从而获得CAV组委会颁发的软件资格认证。

开授课程
《智能系统软件需求分析》 2020年春季学期 本科生

研究领域

自动化验证理论和应用技术
计算机逻辑理论和应用技术
自动机理论和应用技术""