何積豐（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]
參考文獻
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
