執(zhí)著的科學(xué)精神可信的人格力量

何積豐，上海人，1943年8月出生，計(jì)算機(jī)軟件專家，中國科學(xué)院院士，聯(lián)合國大學(xué)國際軟件技術(shù)研究所高級(jí)研究員，英國牛津大學(xué)客座教授，牛津大學(xué)計(jì)算實(shí)驗(yàn)室高級(jí)研究員，1989年和1993年兩度獲英國女王先進(jìn)科技獎(jiǎng)，被國際計(jì)算機(jī)科學(xué)界譽(yù)為面向模型軟件開發(fā)方法的奠基人。2000年獲上海市科技進(jìn)步一等獎(jiǎng)，2002年獲國家自然科學(xué)二等獎(jiǎng)?，F(xiàn)任華東師范大學(xué)計(jì)算機(jī)與軟件工程學(xué)院院長(zhǎng)、上海嵌入式系統(tǒng)研究所所長(zhǎng)。

1980年起，從事程序設(shè)計(jì)理論及其應(yīng)用研究。1986年和C.A.R.Hoare提出了“程序分解算子”，并將規(guī)范語言與程序語言看成是同一類數(shù)學(xué)對(duì)象。接著又提出了采用"關(guān)系代數(shù)"作為程序和軟件規(guī)范的統(tǒng)一數(shù)學(xué)模型，使得關(guān)系代數(shù)可用來描寫程序的分解和組合過程，直接支持軟件的開發(fā)。在數(shù)據(jù)精化方面，給出了處理非確定性程序語言數(shù)據(jù)精化的完備方法。1995年，在總結(jié)了多類程序語言語義理論和方法的基礎(chǔ)上，與C.A.R.Hoare提出了程序設(shè)計(jì)統(tǒng)一理論和連接各類程序理論的數(shù)學(xué)法則。還提出了用形式化的界面理論溝通幾種程序語言，以及非確定性數(shù)據(jù)流的數(shù)學(xué)模型及代數(shù)定律。近年來，研究的軟硬件協(xié)同設(shè)計(jì)系統(tǒng)，為減少系統(tǒng)芯片設(shè)計(jì)時(shí)間和降低成本提供了有益的方法。

院士感言：我這個(gè)人算不上聰明，惟一的訣竅就是每天都不脫離專業(yè)工作，雙休日都不例外。正如我的名字，只有經(jīng)過長(zhǎng)期的“積”累，才能期盼“豐”收的喜悅。