教授
朱惠彪
  • 所属院校:
    华东师范大学
  • 所属院系:
    软件工程学院
  • 研究领域:
    高可信计算、形式化方法、形式语义及其连接、程序分析与验证、进程代数
  • 职称:
    教授
  • 导师类型:
    --
  • 招生专业:
    --
个人简介

个人简介

科研项目: 国家自然科学基金委国际(中丹)合作项目“信息物理融合系统的基础研究” 获奖: (a) “高端软件人才的协同创新培养模式”获得2013年上海市级教学成果奖特等奖(排名第二) (b)“基于模型的可信软件理论与开发方法”获2011年度教育部高等学校自然科学一等奖,第二完成人 (c) 上海市闵行区领军人才 (d) 宝钢教育基金会优秀教师奖 (e) 上海市育才奖 课程建设:国家双语示范课程(软件工程数学)

去登录