何积丰，1943年8月生于上海市，计算机软件专家。1965年毕业于复旦大学数学系；1980年被派往美国旧金山大学进修；1984年在英国牛津大学计算机实验室任客座教授、高级研究员；1998年担任联合国大学国际软件技术研究所高级研究员；2005年当选为中国科学院院士；主要从事可信软件与人工智能技术研究，担任上海人工智能安全专委会主任、上海市人工智能战略咨询专家委员会委员。2019年度上海科技进步特等奖（个人排名第一）；上海市十四五可信人工智能专项负责人。

1980年起，从事程序设计理论及其应用研究。1986年和C.A.R.Hoare提出了“程序分解算子”，并将规范语言与程序语言看成是同一类数学对象。接着又提出了采用“关系代数”作为程序和软件规范的统一数学模型，使得关系代数可用来描写程序的分解和组合过程，直接支持软件的开发。在数据精化方面，给出了处理非确定性程序语言数据精化的完备方法。1995年，在总结了多类程序语言语义理论和方法的基础上，与C.A.R.Hoare提出了程序设计统一理论和连接各类程序理论的数学法则。还提出了用形式化的界面理论沟通几种程序语言，以及非确定性数据流的数学模型及代数定律。近年来，研究的软硬件协同设计系统，为减少系统芯片设计时间和降低成本提供了有益的方法。