Smart Software Engineering Lab at East China Normal University

Jianwen Li

FacultyAssociate Professor

Home PageEmail

个人简介

李建文,现为华东师范大学软件工程学院青年研究员(华东师范大学紫江青年学者)。其于2014年6月在华东师范大学软件工程学院获博士学位,师从中科院院士何积丰教授。2014年9月到2017年8月间在美国莱斯大学(Rice University)从事博士后研究工作,师从国际著名计算机科学家Moshe Y. Vardi;2017年9月到2019年8月在美国爱荷华州立大学(Iowa State University)继续从事博士后研究工作。

李建文研究方向目前主要为形式化自动验证理论和算法研究,并将现有技术成果应用在实际案例中。在本研究领域内主要的研究成果为:1) 首次引入命题逻辑技术 (SAT) 来解决验证时态逻辑推理问题。 该工作发表在验证领域顶级会议CAV 2019,顶级期刊Formal Method in System Design以及人工智能顶级会议AAAI 2019 上。2) 提出了一种新型的模型检查验证算法互补近似计算 (CAR)。该工作发表在EDA验证领域顶级会议ICCAD 2017和CAV 2018上,并且其设计开发的工具原型SimpleCAR通过了多达7人评审从而获得CAV组委会颁发的软件资格认证。

若您对我的研究方向感兴趣请参看我的个人简历imgChinese_Resume.pdf

教育经历

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

Jianwen Li's papers