跳至內容

何積豐

維基百科,自由的百科全書
何積豐
2018年的何積豐
出生1943年8月(81歲)
 中國上海
國籍 中華人民共和國
母校復旦大學
知名於統一程序設計理論英語Unifying Theories of Programming
獎項英國先進科技女皇獎
網站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年被評為「上海市勞動模範」。[1]

外國勳章獎章

[編輯]

參考文獻

[編輯]
  1. ^ 中国科学院学部与院士·院士信息·信息技术科学部·何积丰. [2012-03-29]. (原始內容存檔於2012-04-25). 
  2. ^ 何积丰院士获法国国家棕榈教育骑士勋章. 華東師範大學. 2015-12-11 [2023-01-08]. (原始內容存檔於2023-01-08).