李鑫

- 形式化方法、程序分析与验证

- 高阶模型检测理论与应用、程序语言理论

- 机器学习、法律和计算机理论等多学科交叉研究

招聘启事

科技部重点研发计划招聘启事.pdf

• 数据结构与算法（本科）

• 算法设计与分析（硕士研究生）

近期科研项目与人才计划

- “基于高阶模型检测的复杂高阶程序的验证方法研究”，国家自然科学基金，负责人，2019.01-2021.12

- “全流程管控的精细化执行技术及装备研究”，国家科技部重点研发计划司法专题，华师大课题负责人，2018.07-2021.06

- “基于高阶模型检测和WALA的高阶程序验证研究”，国际联合合作实验室开放课题(合作单位：IBM T.J. Watson Research Center)，2017

- 浦江人才计划，2017