華東師范大學名師：何積豐 正文

　　何積豐，上海人，計算機軟件專家，中國科學院院士。

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

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

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

添加華東師范大學學姐微信，或微信搜索公眾號“考研派小站”，關注[考研派小站]微信公眾號，在考研派小站微信號輸入[華東師范大學考研分數線、華東師范大學報錄比、華東師范大學考研群、華東師范大學學姐微信、華東師范大學考研真題、華東師范大學專業目錄、華東師范大學排名、華東師范大學保研、華東師范大學公眾號、華東師范大學研究生招生）]即可在手機上查看相對應華東師范大學考研信息或資源。

華東師范大學