1943年8月5日，何积丰出生于上海市。 共3张 何积丰
1965年2月，何积丰从复旦大学数学系毕业，并被分配到华东师范大学工作，是上海高校中第一批从事计算机科学研究的人员。
1980年7月，何积丰作为访问学者，被华东师范大学被派往美国旧金山大学进修，专攻计算机应用，课余时间里，他常常到远离旧金山的斯坦福大学和另一所名牌大学去旁听课程，斯坦福大学的导师被他打动，不久，何积丰被批准进入斯坦福大学学习（至1981年7月）。
1984年12月，何积丰在英国牛津大学计算机实验室任客座教授、高级研究员（至1998年7月）。
1986年8月，何积丰晋升为华东师范大学教授[5] 。 共8张 何积丰 演讲 报告
1995年8月，何积丰被聘为华东师范大学博士生导师。
1998年7月，何积丰任联合国大学国际软件技术研究所高级研究员。
2001年11月，何积丰担任华东师范大学软件学院院长。
2002年12月，何积丰成为华东师范大学首批终身教授。
2005年，何积丰当选中国科学院院士。
2016年，何积丰受聘为华东师范大学计算机科学与软件工程学院院长。
2019年，何积丰受聘为同济大学特聘教授，入职同济大学交通运输工程学院[19] [20] 。
科研综述
①创建程序统一理论，奠定了软件语义元理论基础，开创了软件理论的新学派。
何积丰与图灵奖获得者Hoare教授创造性地提出了软件的程序统一理论，解决了程序语义的一致性问题，奠定了软件语义元理论基础，开创了程序统一理论学派，出版了英文专著《Unifying Theories of Programming》，该文献他引超过800次。程序统一理论已被国际上公认为研究各类程序语言的一种标准方法。自2006年起，每两年举办一次程序统一理论国际学术研讨会，包括牛津大学、约克大学、巴黎11大等在内的世界著名研究机构从事序统一理论的相关研究。
②创新软件开发方法学，建立了数据精化完备理论，被国际上誉为“面向模型软件开发的一个里程碑”。
针对软件开发各阶段模型正确性问题，何积丰创建了数据精化完备理论，首次提出了数据精化的“程序分解算子”与“上下仿真映照对”方法，将规范语言与程序语言看成是同一类数学对象，采用“关系代数”作为程序和软件规范的统一数学模型，在此框架中建立了求解规范方程的演算法则。该成果被国际计算机科学界誉为“面向模型软件开发的一个里程碑”。