姓 名：张民 单 位：软件工程学院
职 称：教授
邮 箱：zhangmin@sei.ecnu.edu.cn 办公地址：理B1005
教育背景：
北陆先端科学技术大学院大学博士研究生毕业
个人介绍：
上海市高可信计算重点实验室主任，从事可信人工智能研究，受到上海市东方英才拔尖项目、国家自然科学基金委国际合作项目、面上项目、华为全球创新研究计划等多项项目资助，在CAV、ICSE、NeurIPS等顶级会议上发表论文50余篇。曾获上海市技术发明一等奖、中国计算机学会自然科学二等奖。
研究领域：
形式化方法、可信软件
可供参与的前沿问题：
智能软件的可信保障技术