何積豐,上海人,1943年8月出生,計算機軟件專家,中國科學院院士,聯(lián)合國大學國際軟件技術(shù)研究所高級研究員,英國牛津大學客座教授,牛津大學計算實驗室高級研究員,1989年和1993年兩度獲英國女王先進科技獎,被國際計算機科學界譽為面向模型軟件開發(fā)方法的奠基人。2000年獲上海市科技進步一等獎,2002年獲國家自然科學二等獎。現(xiàn)任華東師范大學計算機與軟件工程學院院長、上海嵌入式系統(tǒng)研究所所長。
1980年起,從事程序設計理論及其應用研究。1986年和C.A.R.Hoare提出了“程序分解算子”,并將規(guī)范語言與程序語言看成是同一類數(shù)學對象。接著又提出了采用"關(guān)系代數(shù)"作為程序和軟件規(guī)范的統(tǒng)一數(shù)學模型,使得關(guān)系代數(shù)可用來描寫程序的分解和組合過程,直接支持軟件的開發(fā)。在數(shù)據(jù)精化方面,給出了處理非確定性程序語言數(shù)據(jù)精化的完備方法。1995年,在總結(jié)了多類程序語言語義理論和方法的基礎(chǔ)上,與C.A.R.Hoare提出了程序設計統(tǒng)一理論和連接各類程序理論的數(shù)學法則。還提出了用形式化的界面理論溝通幾種程序語言,以及非確定性數(shù)據(jù)流的數(shù)學模型及代數(shù)定律。近年來,研究的軟硬件協(xié)同設計系統(tǒng),為減少系統(tǒng)芯片設計時間和降低成本提供了有益的方法。
院士感言:我這個人算不上聰明,惟一的訣竅就是每天都不脫離專業(yè)工作,雙休日都不例外。正如我的名字,只有經(jīng)過長期的“積”累,才能期盼“豐”收的喜悅。