何積豐檢視原始碼討論檢視歷史

計算機軟件專家。華東師範大學教授。1943年8月生於上海市。1965年畢業於復旦大學數學系。現任華東師範大學軟件學院院長，上海嵌入式系統研究所所長。2005年當選為中國科學院院士。 　　1980年起，從事程序設計理論及其應用研究。1986年和C.A.R.Hoare提出了「程序分解算子」，並將規範語言與程序語言看成是同一類數學對象。接着又提出了採用「關係代數」作為程序和軟件規範的統一數學模型，使得關係代數可用來描寫程序的分解和組合過程，直接支持軟件的開發。在數據精化方面，給出了處理非確定性程序語言數據精化的完備方法。1995年，在總結了多類程序語言語義理論和方法的基礎上，與C.A.R.Hoare提出了程序設計統一理論和連接各類程序理論的數學法則。還提出了用形式化的界面理論溝通幾種程序語言，以及非確定性數據流的數學模型及代數定律。近年來，研究的軟硬件協同設計系統，為減少系統芯片設計時間和降低成本提供了有益的方法。