朱惠彪 软件科学与技术系系主任，上海市高可信计算重点实验室常务副主任
软件工程学院??????


导航
个人资料
研究方向
开授课程
科研项目
学术成果
荣誉及奖励







个人资料
部门： 软件工程学院
毕业院校：
学位：
学历：
邮编：
联系电话： **
传真： **
电子邮箱： hbzhu@sei.ecnu.edu.cn
办公地址： 理科楼B1113
通讯地址： 上海中山北路3663号华东师范大学计算机科学与软件工程学院

教育经历

工作经历

个人简介

社会兼职
(1) 教育部软件工程专业教学指导委员会委员
(2) CCF形式化方法专委会副主任委员
(3) 担任IEEE&IFIP 国际会议“International Symposium on Theoretical Aspects of Software Engineering”执行委员会委员和程序委员会委员
(4) 担任第六届程序统一理论（The 6th International Symposium onUnifying Theories of Programming， UTP 2016）PC Co-Chair
(5)担任第10届理论计算国际会议（10th International Colloquium on Theoretical Aspects of Computing，ICTAC 2013）PC Co-Chair
(6) 担任第35届IEEE软件工程会议（35thIEEE Software Engineering Workshop, SEW-2012）PCCo-Chair
(7) 担任第10届面向服务计算（10th International Conference on Service-Oriented Computing, ICSOC 2012）的Workshop Co-Chair
(8) 担任第12届国际形式化工程大会（12th International Conference on Formal Engineering Methods, ICFEM2010）PC Co-Chair
(9) PC member: ATVA2016、FORMATS 2016、FTSCS 2015 (以及2014)、HASE 2017（以及2016）、ICECCS 2014 (以及2013、2012、2011)、ICFEM 2016（以及2015、2014、2013、2012、2011）、ICTAC 2016、ICTAC2014、UTP 2014 （以及2012、2010、2008）、FM 2011等.


研究方向
高可信计算、形式化方法、形式语义及其连接、程序分析与验证、进程代数


开授课程


科研项目


学术成果
1. 科研项目：
国家自然科学基金委国际（中丹）合作项目“信息物理融合系统的基础研究”
http://www.idea4cps.dk/

2. 论文：可访问我的DBLP下载（http://dblp.uni-trier.de/pers/hd/z/Zhu:Huibiao）

3.获奖：
(a) “高端软件人才的协同创新培养模式”获得2013年上海市级教学成果奖特等奖（排名第二）
(b）“基于模型的可信软件理论与开发方法”获2011年度教育部高等学校自然科学一等奖，第二完成人
(c)上海市闵行区领军人才
(d) 宝钢教育基金会优秀教师奖
(e) 上海市育才奖

4.课程建设：国家双语示范课程（软件工程数学）







荣誉及奖励


招生信息














10 访问


相关教师