首页 > 上海市人物

何积丰


[中国科学院院士]

何积丰

何积丰,计算机软件专家。华东师范大学教授。1943年8月生于上海市。1965年毕业于复旦大学数学系。现任华东师范大学软件学院院长,上海嵌入式系统研究所所长。2005年当选为中国科学院院士。

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


  相关院校:
复旦大学
何姓名人堂
同年(公元1943年)出生的名人:
中国科学院院士人物介绍
复旦大学人物介绍
上海市更多人物
同时期更多人物
走进上海市


下一名人:侯朝焕

返回电脑版