朱惠彪

朱惠彪，1967年生，华东师范大学软件学院教授，博士生导师，上海市高可信计算重点实验室原常务副主任。2000年9月赴英国London South Bank 大学攻读计算机科学博士学位，于2005年4月获得博士学位。研究方向为高可信计算、形式化方法和信息物理融合系统。是IEEE&IFIP 国际会议“International Symposium on Theoretical Aspects of Software Engineering”(TASE)的主要创办者，担任国际会议ICFEM2010、 SEW-35和ICTAC 2013的程序委员会主席。担任了一系列国际会议的程序委员会委员，包括：FM 2011、ICFEM (2011, 2012, 2013, 2014)、ICECCS (2010, 2011, 2012, 2013, 2014)、ICTAC (2007, 2009,2013, 2014)、SEFM (2007, 2008, 2009)和UTP (2008, 2010, 2012, 2014)等。近年来主要在高可信计算、形式化方法等领域开展研究工作，特别在形式语义学方面进行了深入的研究，科研成果具有独到的见解。

曾主持自然科学基金委重大研究计划“Web 事务的模型和语义研究”项目和中丹国际合作项目“信息物理系统的基础研究”项目，现主持中丹国际合作项目“信息物理系统的基础研究”（滚动）。于2007 年和2011 年获上海市育才奖和宝钢奖。“基于模型的可信软件理论与开发方法”获2011 年度教育部高等学校自然科学一等奖（第二完成人）。获2013年高等教育上海市级教学成果奖特等奖（第二完成人）。自2000 年以来，作为第一作者或合作者已经在重要国际会议和杂志上发表论文110余篇，合作编辑国际会议论文集5本。