何积丰

1943年8月生于上海市。
1965年毕业于复旦大学数学系。
现任华东师范大学软件学院院长，上海嵌入式系统研究所所长。
2005年当选为中国科学院院士。
1980年起，从事程序设计理论及其应用研究。
1986年和C.A.R.Hoare提出了“程序分解算子”。
1995年，在总结了多类程序语言语义理论和方法的基础上，与C.A.R.Hoare提出了程序设计统一理论和连接各类程序理论的数学法则。
近年来，研究的软硬件协同设计系统，为减少系统芯片设计时间和降低成本提供了有益的方法。