何积丰，中国科学院院士、计算机软件专家、华东师范大学教授。
 

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

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