何積豐

何積豐
2018年的何積豐
出生	1943年8月（81歲） 中國上海
國籍	中華人民共和國
母校	復旦大學
知名於	統一程序設計理論
獎項	英國先進科技女皇獎
網站	www.jfai-sh.com
科學生涯
研究領域	計算機科學、形式化方法
機構	華東師範大學 牛津大學 上海交通大學 聯合國大學
受影響自	東尼·霍爾

何積豐（1943年8月—），男，上海人，中國計算機科學家，中國科學院院士。現任華東師範大學軟件學院院長，華東師範大學終身教授、博士生導師。上海嵌入式系統研究所所長。研究方向為形式化方法；高可信與信息安全；並發程序設計理論；嵌入式系統設計方法和工具；軟硬件混成系統協同設計等。

生平

1943年8月生於上海市。他是上海最早從事計算機科學研究的人員之一，曾先後被派往斯坦福大學和牛津大學研修，取得了豐碩的成果，兩次獲得英國女皇獎。

1965年畢業於復旦大學數學系。1965年起在華東師範大學工作，先後任助教、講師，1986年晉升為教授。1980年至1981年在美國斯坦福大學、舊金山大學做訪問學者；1983年至1998年在英國牛津大學計算機實驗室任高級研究員，1998年起任聯合國大學國際軟件技術研究所高級研究員。2001年以來，先後擔任四個國家和上海市科研項目主持人。2002年起任華東師範大學軟件學院院長，2002年成為華東師範大學首批終身教授。2005年底，他當選中國科學院院士。2007年被國家自然科學基金委聘為「可信軟件基礎研究」重大研究計劃的首席科學家，2008年又被國家科技部聘為「海量信息的協同性和可生存性的理論與實踐研究」（編號：2005CB321900）項目首席科學家，同年7月又被聘為上海市嵌入式工程中心首席科學家。

學術貢獻

何積豐在國際刊物和國際會議上發表論文140餘篇，其論文先後被SCI摘引540次，其研究成果在國際計算機科學領域產生重要影響。目前，他主持國家「973」項目下的課題和教育部重點項目多項。

獎項和榮譽

何積豐曾被授予「國家級有突出貢獻中青年專家」稱號，先後獲原國家教委「優秀科技成果」獎、電子工業部科技成果一等獎。其「設計嚴格安全軟件的完備演算系統」先後獲得上海市科學技術進步一等獎和國家自然科學二等獎。

何積豐還曾獲得上海市首屆「五一」勞動獎章、上海市勞動模範、上海市「教學名師」和上海市「優秀共產黨員」等稱號，入選2005年感動上海的新聞人物。 ；2006年榮獲了「上海市五一勞動獎章」、「上海市優秀共產黨員」以及「上海市教學名師」稱號；2007年被評為「上海市勞動模範」。

外國勳章獎章

• 學術棕櫚騎士勳章（法國，2015年12月2日於法國駐上海總領事官邸頒發）