何积丰，计算机软件专家。华东师范大学教授。1943年8月生于上海市。1965年毕业于复旦大学数学系。现任华东师范大学软件学院院长，上海嵌入式系统研究所所长。2005年当选为中国科学院院士。
1980年起，从事程序设计理论及其应用研究。1986年和C.A.R.Hoare提出了“程序分解算子”，并将规范语言与程序语言看成是同一类数学对象。接着又提出了采用“关系代数”作为程序和软件规范的统一数学模型，使得关系代数可用来描写程序的分解和组合过程，直接支持软件的开发。在数据精化方面，给出了处理非确定性程序语言数据精化的完备方法。1995年，在总结了多类程序语言语义理论和方法的基础上，与C.A.R.Hoare提出了程序设计统一理论和连接各类程序理论的数学法则。还提出了用形式化的界面理论沟通几种程序语言，以及非确定性数据流的数学模型及代数定律。近年来，研究的软硬件协同设计系统，为减少系统芯片设计时间和降低成本提供了有益的方法。
相关院校：
复旦大学
同年(公元1943年)出生的名人：李未 中国科学院院士 北京市 吴国雄 中国科学院院士 广东省汕头市潮阳 陈祖煜 中国科学院院士 重庆市城口县 李济生 (1943～2019) 中国科学院院士 山东省德州市禹城 程国栋 中国科学院院士 上海市 + 更多公元1943年出生的名人》
何姓名人堂何雯娜 2008年北京奥运会冠军 福建省龙岩市人 何步基 江西省新余市渝水区人 何中华 吉林省吉林市磐石市人 何养性 (1901～1973) 安徽省铜陵枞阳人 何家弘 北京市人 何利彩 浙江省宁波象山人 何元上 何超腾 (1901～1934) 中国科学院院士人物介绍茅以升 (1896～1989) 中国科学院院士，土木工程学家、桥梁专家、工程教育家 竺可桢 (1890～1974) 中国近代气象学家、地理学家 苏步青 (1902～2003) 中国科学院院士,中国著名的数学家、教育家，中国微分几何学派创始人 陈景润 (1933～1996) 哥德巴赫猜想第一人 梁思成 (1901～1972) 梁启超长子,中国著名建筑学家 李四光 (1889～1971) 中国科学院院士,著名地质学家 童第周 (1902～1979) 著名实验胚胎学家 梁思礼 (1924～2016) 梁启超第五子,中国科学院院士 复旦大学人物介绍徐悲鸿 (1895～1953) 中国现代画家,美术教育家 竺可桢 (1890～1974) 中国近代气象学家、地理学家 苏步青 (1902～2003) 中国科学院院士,中国著名的数学家、教育家，中国微分几何学派创始人 陈寅恪 (1890～1969) 著名历史学家、国学大师 严复 (1854～1921) 启蒙思想家、翻译家、教育家 童第周 (1902～1979) 著名实验胚胎学家 马相伯 (1840～1939) 中国著名教育家、复旦大学创始人 范滇元 中国工程院院士·信息与电子工程学部
上海市更多人物
徐阿梅 (1906～1939) 宣森 廖寿恒 (1839～1903) 乔谷凡 龚洁 葛修润 中国工程院院士·土木、水利与建筑工程学部 赵兰英 张锡祚 (1918～1999)
