李建文 青年研究员(博导)
软件工程学院??????


导航
个人资料
研究方向
开授课程
科研项目
学术成果
荣誉及奖励







个人资料
部门： 软件工程学院
毕业院校： 华东师范大学
学位： 博士
学历： 博士
邮编： 200062
联系电话：
传真：
电子邮箱： jwli@sei.ecnu.edu.cn
办公地址： 中北校区理科楼B1009
通讯地址： 上海市中山北路3663号

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


社会兼职


研究方向
形式化自动验证技术
计算机逻辑推理技术
自动机理论和应用技术




开授课程
《智能系统软件需求分析》 春季学期 本科二年级 选修
《智能软件自动化验证》 秋季学期 专业硕士一年级 选修


科研项目
国家自然科学基金青年项目 2021-2023



学术成果


荣誉及奖励
上海市浦江人才计划


招生信息














10 访问


相关教师