开授课程数据结构与算法（本科）算法设计与分析（硕士研究生）近期科研项目与人才计- “基于高阶模型检测的复杂高阶程序的验证方法研究”，国家自然科学基金，负责人，2019.01-2021.12- “全流程管控的精细化执行技术及装备研究”，国家科技部重点研发计划司法专题，华师大课题负责人，2018.07-2021.06- “基于高阶模型检测和WALA的高阶程序验证研究”，国际联合合作实验室开放课题(合作单位：IBM T.J. Watson Research Center)，2017- 浦江人才计划，2017
