何雷锋
+
Gender:Male
Education Level:Graduate student graduate
Alma Mater:同济大学
Personal Information
MORE+何雷锋，博士，讲师。2022 年 12 月毕业于同济大学计算机科学与技术专业，获得工学博士学位。现任浙江师范大学计算机科学与技术学院讲师，主要从事 Petri 网、模型检测、形式化方法等方面的理论和应用研究。出版学术专著 1 本，在《软件学报》、IEEE Transactions on Industrial Informatics、IEEE Transactions on Computational Social Systems 等国内外权威期刊和重要会议上发表学术论文 10 余篇 ，开发了（符号）模型检测工...
[1] 2015.9 to 2022.12
同济大学
| 计算机科学与技术
| Master's degree
| Graduate student graduate
硕博连读
[2] 2011.9 to 2015.6
上海理工大学
| 计算机科学与技术
| Baccalaureate
| Undergraduate graduation
No content