朱惠彪_华东师范大学

您当前浏览器版本过低，为了不影响您的使用，建议您使用最新的谷歌浏览器、火狐浏览器、 360浏览器，更换浏览器后使用更流畅！（注意！双核浏览器请切换为极速模式）

400-607-9388

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

个人简介

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

相关推荐