華東師范大學(xué)名師：何積豐 正文

　　何積豐，上海人，計(jì)算機(jī)軟件專家，中國(guó)科學(xué)院院士。

　　1965年畢業(yè)于復(fù)旦大學(xué)數(shù)學(xué)系；1965-1986年華東師范大學(xué)助教、講師；1986年華東師范大學(xué)教授；1984-1998年英國(guó)牛津大學(xué)客座教授、高級(jí)研究員；1995年博士生導(dǎo)師；1996年任 上海交通大學(xué)兼職教授、博士生導(dǎo)師；1998年起任聯(lián)合國(guó)大學(xué)國(guó)際軟件技術(shù)研究所高級(jí)研究員，南京大學(xué)兼職教授、博士生導(dǎo)師；2001年任華東師范大學(xué)軟件學(xué)院院長(zhǎng)；2002年當(dāng)選華東師范大學(xué)終身教授；2003年起任浙江大學(xué)兼職教授、博士生導(dǎo)師。現(xiàn)任華東師大軟件學(xué)院院長(zhǎng)、上海嵌入式系統(tǒng)研究所所長(zhǎng)。2005年12月當(dāng)選中國(guó)科學(xué)院院士。1985年獲電子工業(yè)部軟件一等獎(jiǎng)，1986年獲上海市科技進(jìn)步一等獎(jiǎng)，1988年入選國(guó)家有突出貢獻(xiàn)中青年專家，1989和1993年兩次獲得英國(guó)先進(jìn)技術(shù)女皇獎(jiǎng)，2000年獲上海市科技進(jìn)步一等獎(jiǎng)，2002年獲國(guó)家自然科學(xué)二等獎(jiǎng) 。

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

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

添加華東師范大學(xué)學(xué)姐微信，或微信搜索公眾號(hào)“考研派小站”，關(guān)注[考研派小站]微信公眾號(hào)，在考研派小站微信號(hào)輸入[華東師范大學(xué)考研分?jǐn)?shù)線、華東師范大學(xué)報(bào)錄比、華東師范大學(xué)考研群、華東師范大學(xué)學(xué)姐微信、華東師范大學(xué)考研真題、華東師范大學(xué)專業(yè)目錄、華東師范大學(xué)排名、華東師范大學(xué)保研、華東師范大學(xué)公眾號(hào)、華東師范大學(xué)研究生招生）]即可在手機(jī)上查看相對(duì)應(yīng)華東師范大學(xué)考研信息或資源。

華東師范大學(xué)