姓 名：张民 单 位：软件工程学院
职 称：教授
邮 箱：zhangmin@sei.ecnu.edu.cn 办公地址：理B1005
教育背景：
北陆先端科学技术大学院大学博士研究生毕业
个人介绍：
软件科学与技术系系主任，受到国家自然科学基金委、华为全球创新研究计划、国家留学基金委以及法国高等教育署等各类项目资助，在CAV、AAAI等国际旗舰会议和期刊发表论文50余篇。获APSEC19唯一最佳论文奖，FSE20和RE19最佳论文提名奖。
研究领域：
形式化方法、可信软件
可供参与的前沿问题：
智能软件的可信保障技术