2014年4月29日上午，我评测中心在国家信息中心会议室举行专家聘任仪式，聘任中国科学院院士、可信软件设计理论与技术开拓者、著名计算机软件科学家何积丰为我评测中心专家。国家信息中心常务副主任、评测中心主任杜平，评测中心常务副主任李荔出席聘任仪式。这标志着我评测中心的技术服务体系向工控软件可信测试等高端评测服务领域扩展。

   聘任仪式上，杜主任颁发聘书并讲话，代表评测中心向何积丰院士受聘为我评测中心专家表示祝贺和感谢。并希望何院士为评测中心在工控软件可信技术体系的发展贡献力量，同时能够在工控软件可信测试领域做出贡献。聘任仪式结束后，双方就工控软件可信测试进一步进行沟通与交流。

     我评测中心专家委员会的不断壮大，有助于大力推进我评测中心技术体系以及创新模式的建立和完善，为优化我评测中心技术服务体系、人才培养体系，加强权威技术优势，建立和完善高效运作的管理机制和体制提供有力支持。

何积丰院士简介：

 何积丰，中国科学院院士，著名计算机软件科学家。现为华东师范大学终身教授、软件学院院长，中国科学院信息学部常委会副主任，上海市科协副主席，国家可信嵌入式软件工程技术研究中心首席科学家，上海市高可信计算重点实验室主任。

 何积丰院士长期从事计算机软件理论及应用研究，针对软件的复杂性、正确性和可靠性等问题开展了系统性的研究。他是程序统一理论创立者、数据精化完备理论奠基者、可信软件设计理论与技术开拓者。主要科学贡献：（1）系统性地研究了各类程序语言语义理论，与图灵奖获得者Hoare教授共同开创了程序统一理论学派，奠定了软件语义元理论基础，被国际上公认为研究各类程序语言的一种标准方法；（2）首次提出了数据精化的“程序分解算子”与“上下仿真映照对”方法，创建了数据精化完备理论，国际计算机科学界誉其为"面向模型软件开发的一个里程碑"；（3）开拓了基于模型的可信软件设计理论与技术，相关成果已被轨道交通、汽车电子、航天控制等安全攸关领域所采用，该成果被应用在上海普华的汽车电子操作系统验证过程，验证后的操作系统成为国内首个通过欧洲OSEK标准认证的操作系统，并首次出口欧洲。

 何积丰院士担任国家自然科学基金委重大研究计划、科技部973计划、863计划主题项目首席科学家，领衔国家自然科学基金委创新研究群体。出版英文专著2部，在国际期刊和会议上发表论文160余篇，他引4000余次。以唯一完成人荣获国家自然科学奖二等奖和上海市科技进步奖一等奖各1项，以第一完成人获省部级科技进步奖与科技成果奖一等奖4项，两次荣获英国女王先进技术奖。曾获上海市教书育人楷模、上海高校教学名师、上海市五一劳动奖章、上海市优秀共产党员、上海市劳动模范等称号。