姓 名：缪炜恺 单 位：软件工程学院
职 称：教授
邮 箱：wkmiao@sei.ecnu.edu.cn 办公地址：数306
教育背景：
日本法政大学博士研究生毕业
个人介绍：
曾获上海市科技进步特等奖、中国计算机学校技术发明一等和上海市高校青年教师教学竞赛一等奖等，入选上海市科委扬帆人才计划。
研究领域：
软件形式化工程方法，软件需求建模与分析，软件测试等。
可供参与的前沿问题：
形成基于知识的软件可信安全保障方法
姓 名：缪炜恺 单 位：软件工程学院
职 称：教授
邮 箱：wkmiao@sei.ecnu.edu.cn 办公地址：数306
教育背景：
日本法政大学博士研究生毕业
个人介绍：
曾获上海市科技进步特等奖、中国计算机学校技术发明一等和上海市高校青年教师教学竞赛一等奖等，入选上海市科委扬帆人才计划。
研究领域：
软件形式化工程方法，软件需求建模与分析，软件测试等。
可供参与的前沿问题：
形成基于知识的软件可信安全保障方法