|
基本信息Personal Information
讲师 博士生导师 硕士生导师
性别 : 男
毕业院校 : 同济大学
学历 : 博士研究生毕业
学位 : 博士学位
在职信息 : 在岗
所在单位 : 计算机科学与技术学院
入职时间 : 2024年04月11日
办公地点 : 21幢5-2-1
Email :
扫描关注
个人简介Personal Profile
何雷锋，博士，讲师。2022 年 12 月毕业于同济大学计算机科学与技术专业，获得工学博士学位。现任浙江师范大学计算机科学与技术学院讲师，主要从事 Petri 网、模型检测、形式化方法等方面的理论和应用研究。出版学术专著 1 本，在《软件学报》、IEEE Transactions on Industrial Informatics、IEEE Transactions on Computational Social Systems 等国内外权威期刊和重要会议上发表学术论文 10 余篇 ，开发了（符号）模型检测工具。