计算机软件专家。华东师范大学教授。1943年8月生于上海市。1965年毕业于复旦大学数学系。现任华东师范大学软件学院院长，上海嵌入式系统研究所所长。2005年当选为中国科学院院士。1980年起，从事程序设计理论及其应用研究。1986年和C.A.R.Hoare提出了“程序分解算子”，并将规范语言与程序语言看成是同一类数学对象。接着又提出了采用“关系代数”作为程序和软件规范的统一数学模型，使得关系代数可用来描写程序的分解和组合过程，直接支持软件的开发。在数据精化方面，给出了处理非确定性程序语言数据精化的完备方法。1995年，在总结了多类程序语言语义理论和方法的基础上，与C.A.R.Hoare提出了程序设计统一理论和连接各类程序理论的数学法则。还提出了用形式化的界面理论沟通几种程序语言，以及非确定性数据流的数学模型及代数定律。近年来，研究的软硬件协同设计系统，为减少系统芯片设计时间和降低成本提供了有益的方法。1943年8月5日，何积丰出生于上海市。
1960年5月，何积丰进入上海复旦大学数学系学习。
1965年2月，何积丰从复旦大学数学系毕业，并被分配到华东师范大学工作，是上海高校中第一批从事计算机科学研究的人员。
1980年7月，何积丰作为访问学者，被华东师范大学被派往美国旧金山大学进修，专攻计算机应用，课余时间里，他常常到远离旧金山的斯坦福大学和另一所名牌大学去旁听课程，斯坦福大学的导师被他打动，不久，何积丰被批准进入斯坦福大学学习（至1981年7月）。
1984年12月，何积丰在英国牛津大学计算机实验室任客座教授、高级研究员（至1998年7月）。
1986年8月，何积丰晋升为华东师范大学教授。
1995年8月，何积丰被聘为华东师范大学博士生导师。
1998年7月，何积丰任联合国大学国际软件技术研究所高级研究员。
2001年11月，何积丰担任华东师范大学软件学院院长。
2002年12月，何积丰成为华东师范大学首批终身教授。
2005年，何积丰当选中国科学院院士。
2008年5月，何积丰担任天津师范大学软件学院名誉院长。
2009年，何积丰受聘为杭州师范大学杭州国际服务工程学院院长 [5] 。
2014年10月22日，何积丰受聘为上海农业物联网首席专家。
2016年，何积丰受聘为华东师范大学计算机科学与软件工程学院院长
微信公众号
下载app
京公网安备 11010202008974号