何雷锋，博士，讲师。2022 年 12 月毕业于同济大学计算机科学与技术专业，获得工学博士学位。现任浙江师范大学计算机科学与技术学院讲师，主要从事 Petri 网、模型检测、形式化方法等方面的理论和应用研究。出版学术专著 1 本，在《软件学报》、IEEE Transactions on Industrial Informatics、IEEE Transactions on Computational Social Systems 等国内外权威期刊和重要会议上发表学术论文 10 余篇 ，开发了（符号）模型检测工具。