學生 教工 校友 考生 訪客

  • 服務門戶
  • 同心雲
  • 同濟郵箱
  • 快速通道
  • 信息公開 文明校園
  • English
  • Deutsch

中國科學院院士

何積豐

计算机软件专家。1943年8月生于上海市。1965年毕业于复旦大学数学系。2005年当选为中國科學院院士。

  1980年起,從事程序設計理論及其應用研究。1986年和C.A.R.Hoare提出了“程序分解算子”,並將規範語言與程序語言看成是同一類數學對象。接著又提出了采用“關系代數”作爲程序和軟件規範的統一數學模型,使得關系代數可用來描寫程序的分解和組合過程,直接支持軟件的開發。在數據精化方面,給出了處理非確定性程序語言數據精化的完備方法。1995年,在總結了多類程序語言語義理論和方法的基礎上,與C.A.R.Hoare提出了程序設計統一理論和連接各類程序理論的數學法則。還提出了用形式化的界面理論溝通幾種程序語言,以及非確定性數據流的數學模型及代數定律。近年來,研究的軟硬件協同設計系統,爲減少系統芯片設計時間和降低成本提供了有益的方法。