李建文

2009.09 - 2014.06 华东师范大学 博士

2005.09 - 2009.06 兰州大学 本科

2019.11 - 至今  华东师范大学 青年研究员

2017.09 - 2019.08 美国爱荷华州立大学 博士后研究员（合作导师：Kristin Y. Rozier）

2014.09 - 2017.08 美国莱斯大学 博士后研究员（合作导师：Moshe Y. Vardi）

李建文，现为华东师范大学软件工程学院青年研究员（华东师范大学紫江青年学者）。其于2014年6月在华东师范大学软件工程学院获博士学位，师从中科院院士何积丰教授。2014年9月到2017年8月间在美国莱斯大学从事博士后研究工作，师从国际著名计算机科学家Moshe Y. Vardi；2017年9月到2019年8月在美国爱荷华州立大学继续从事博士后研究工作。研究方向目前主要为形式化自动验证理论和算法研究，并将现有技术成果应用在实际案例中。

有兴趣请查看我的英文主页。

我目前的研究方向主要聚焦于形式化验证中的模型检查技术，包括它的算法设计、改进以及工业上的应用。模型检查技术的用途主要是保障安全攸关领域软硬件系统的正确性，如芯片设计、轨道交通和航空航天等。（很遗憾它不是一个从0到1的工作，无法让我们成为改变世界的人）该领域是一个比较小众的领域，若想从事这方面研究的学生应该在数理逻辑、算法和C/C++程序编程这三方面（至少后两个）有一定的基础。

从事该研究方向理想情况下出路是走科研+创新之路，成为一个能够掌控自己时间的人；次一点是走科研道路，成为这个小领域中的顶级专家（我还在这里奋斗）；再次一点就是练好了C/C++和算法去工业界找一份有核心竞争力的工作；实在没办法，你还有选择其他方向的自由。

2023年《自动化软件验证基础》     春季学期   本科二年级 选修

2022年《智能软件自动化验证》     秋季学期   硕士一年级 选修

2022年《自动化软件验证基础》     春季学期   本科二年级 选修

2021年《软件工程前沿讨论》      秋季学期   学术硕士一年级 选修

2021年《智能软件自动化验证》     秋季学期   专业硕士一年级 选修

2021年《智能系统软件需求分析》    春季学期   本科二年级 选修

2020年《智能软件自动化验证》     秋季学期   专业硕士一年级 选修

2020年《智能系统软件需求分析》    春季学期   本科二年级 选修

我目前的教育理念主要有以下几点：

1）什么样的老师，就会吸引什么样的学生

2）“师不必不如弟子，弟子也不必不如师”：我要仰仗学生的地方其实有很多

3）“以一棵树摇动另一颗树，以一朵云推动另一朵云”：以诚相待，以心换心

4）让学生成为想成为的人

国家自然科学基金面上项目《模型检查技术的性能可解释性研究》 主持  2024.01 - 2027.12

国家自然科学基金青年项目《基于互补近似可达的硬件模型检测技术研究》 主持  2021.01 - 2023.12

请查看我的英文主页。

上海市浦江人才计划（2020）