朱惠彪

(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. 课程建设：国家双语示范课程（软件工程数学）