何積豐
何積豐（1943年8月—），男，上海人，中國計算機科學家，中國科學院院士。現任華東師範大學軟體學院院長，華東師範大學終身教授、博士生導師。上海嵌入式系統研究所所長。研究方向為形式化方法；高可信與信息安全；並發程序設計理論；嵌入式系統設計方法和工具；軟硬體混成系統協同設計等。
| 何積豐 | |
|---|---|
 2018年的何積豐 | |
| 出生 | 1943年8月（81歲） 中國上海 |
| 國籍 |  中華人民共和國 |
| 母校 | 復旦大學 |
| 知名於 | 統一程序設計理論 |
| 獎項 | 英國先進科技女皇獎 |
| 網站 | www |
| 科學生涯 | |
| 研究領域 | 計算機科學、形式化方法 |
| 機構 | 華東師範大學 牛津大學 上海交通大學 聯合國大學 |
| 受影響自 | 東尼·霍爾 |
生平
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年被評為「上海市勞動模範」。[1]
外國勳章獎章
參考文獻
- ^ 中国科学院学部与院士·院士信息·信息技术科学部·何积丰. [2012-03-29]. （原始內容存檔於2012-04-25）.
- ^ 何积丰院士获法国国家棕榈教育骑士勋章. 華東師範大學. 2015-12-11 [2023-01-08]. （原始內容存檔於2023-01-08）.