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

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

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

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

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

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

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

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

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

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

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

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

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

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

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