芒果体育,金彩汇,雷火体育首页

來源：互聯網

何積豐于1943年8月5日出生在上海市，是計算機軟件專家，中國科學院院士，上海華科智谷人工智能研究院院長，原華東師范大學軟件學院院長、教授、博士生導師。

1965年，何積豐從復旦大學數學系畢業，并被分配至華東師范大學工作；1972年，何積豐參與華東師范大學國產計算機研制項目。1980年，他被派往美國舊金山大學進修。1984年至1998年，何積豐任英國牛津大學客座教授、高級研究員；1998年至2005年，他任澳門聯合國大學國際軟件技術研究所研究員。2002年，他成為華東師范大學首批終身教授；2009年，他被聘為杭州師范大學杭州國際服務工程學院院長；2010年，他被英國約克大學授予榮譽博士學位。2014年，何積豐受聘成為上海農業物聯網首席專家；2016年，他被聘為華東師范大學計算機科學與軟件工程學院院長。2019年，何積豐又被聘為同濟大學特聘教授，并入職同濟大學交通運輸工程學院。

何積豐擔任中國國家中華人民共和國國家自然科學基金委員會可信軟件基礎重大研究計劃、科技部973計劃海量信息處理項目以及國家高技術研究發展計劃信息物理融合系統主題項目首席科學家。出版英文專著2部，在國際期刊和會議上發表論文160余篇，他引4000余次。擔任多個國際著名學術會議主席、國際權威學術期刊編委。他以唯一完成人獲國家自然科學二等獎和上海市科技進步一等獎各1項，以第一完成人獲省部級科技進步獎與科技成果獎一等獎4項，兩次榮獲英國女王先進技術獎，于2013年獲得何梁何利基金科學與技術進步獎和上海市科技功臣稱號。

人物經歷

早年經歷

何積豐于1943年8月5日出生于上海市，高中畢業后考入復旦大學數學系，1965年2月畢業于復旦大學數學系。

工作經歷

1965年3月，何積豐任職于華東師范大學，從事教學、科研和管理工作。1972年，上海市要求復旦大學、華東師范大學研制國產計算機。何積豐參與華東師范大學國產計算機研制項目，負責計算機的運算控制部分，兩年多后計算機研制成功。

1980年7月至1981年7月，何積豐作為訪問學者被華東師范大學派往舊金山大學進修計算機應用，并在斯坦福大學學習。1984年12月，何積豐在英國牛津大學計算機實驗室任客座教授、高級研究員（至1998年7月）。1986年，何積豐與C.A.R.Hoare提出了“程序分解算子”，并將規范語言與程序語言看成是同一類數學對象，還提出采用“關系代數”作為程序和軟件規范的統一數學模型，在數據精化方面給出了處理非確定性程序語言數據精化的完備方法。同年8月何積豐晉升為華東師范大學教授。

1995年，何積豐與托尼·霍爾提出了程序設計統一理論和連接各類程序理論的數學法則，還提出用形式化的界面理論溝通幾種程序語言，以及非確定性數據流的數學模型及代數定律。同年8月何積豐被聘為華東師范大學博士生導師。1998年7月，何積豐任聯合國大學國際軟件技術研究所高級研究員（至2005年）。

2001年11月，何積豐擔任華東師范大學軟件學院院長。2002年12月，何積豐成為華東師范大學首批終身教授。2005年，何積豐當選中國科學院院士。2008年5月，何積豐擔任天津師范大學軟件學院名譽院長。2009年，何積豐受聘為杭州師范大學杭州國際服務工程學院院長。2010年，何積豐被英國約克大學授予榮譽博士學位。2014年10月22日，何積豐受聘為上海農業物聯網首席專家。2016年，何積豐受聘為華東師范大學計算機科學與軟件工程學院院長。2019年，何積豐受聘為同濟大學特聘教授，入職同濟大學交通運輸工程學院。

研究方向

何積豐的主要研究領域：高可信與信息安全理論、形式化方法、并發程序設計理論、嵌入式系統設計方法和工具、軟硬件混成系統協同設計、計算機軟件與理論。何積豐長期從事銀河麒麟理論及其應用研究，針對軟件的復雜性、正確性和可靠性等問題開展了系統性的研究。完整地揭示了軟件的本質，徹底解決了程序語義的一致性問題；創新了軟件開發方法學，有效地降低了測試成本；解決了在開放環境如何保障軟件正常工作等科學問題，推動了可信嵌入式軟件行業的發展。他是程序統一理論（Unifying Theories of Programming，簡稱UTP）的創立者、數據精化完備理論的奠基者、可信軟件設計理論與技術的開拓者。

主要作品

發表論文

參考資料

發表文章

以上為部分文章，參考資料來自

出版書籍

主要成就

何積豐擔任中國國家中華人民共和國國家自然科學基金委員會可信軟件基礎重大研究計劃、科技部973計劃海量信息處理項目以及國家高技術研究發展計劃信息物理融合系統主題項目首席科學家，領銜國家自然科學基金委創新研究群體。出版英文專著2部，在國際期刊和會議上發表論文160余篇，他引4000余次。擔任多個國際著名學術會議主席、國際權威學術期刊編委。他以唯一完成人獲國家自然科學二等獎和上海市科技進步一等獎各1項，以第一完成人獲省部級科技進步獎與科技成果獎一等獎4項，兩次榮獲英國女王先進技術獎，于2013年獲得何梁何利基金獎和上海市科技功臣稱號。

科學貢獻

創建程序統一理論

創建程序統一理論，奠定了軟件語義元理論基礎，開創了軟件理論的新學派。何積豐與圖靈獎獲得者Hoare教授創造性地提出了軟件的程序統一理論，解決了程序語義的一致性問題，奠定了軟件語義元理論基礎，開創了程序統一理論學派，出版了英文專著《Unifying Theories of Programming》，該文獻他引超過800次。程序統一理論已被國際上公認為研究各類程序語言的一種標準方法。自2006年起，每兩年舉辦一次程序統一理論國際學術研討會，包括牛津大學、英國約克大學、巴黎11大等在內的世界著名研究機構從事序統一理論的相關研究。

創新軟件開發方法學

創新軟件開發方法學，建立了數據精化完備理論，被國際上譽為“面向模型軟件開發的一個里程碑”。針對軟件開發各階段模型正確性問題，何積豐創建了數據精化完備理論，首次提出了數據精化的“程序分解算子”與“上下仿真映照對”方法，將規范語言與程序語言看成是同一類數學對象，采用“關系代數”作為程序和軟件規范的統一數學模型，在此框架中建立了求解規范方程的演算法則。該成果被國際計算機科學界譽為“面向模型軟件開發的一個里程碑”。

數據精化完備理論被多種主流軟件開發方法所采用，如B軟件開發方法與Z軟件開發方法。其中，B軟件開發方法已成為法國商業工具Atelier B的核心技術，被阿爾斯通公司、德國西門子股份公司等公司成功地應用于嚴格軌道交通軟件的開發。

開拓可信嵌入式軟件設計理論與技術

開拓可信嵌入式軟件設計理論與技術，促進了方法與技術在安全攸關行業領域的應用。何積豐創造性地開拓和發展了基于模型的可信軟件開發與驗證研究領域，建立了正確性系統的可證理論與方法，解決了可信嵌入式系統構造與驗證技術的若干關鍵問題，并應用于軌道交通、汽車電子、航天控制等安全攸關行業，推動了相關產業發展。

學術成果

2020年5月，依托同濟大學領銜的“智能科學與技術”上海市高峰學科，創建“可信人工智能研究所”，聚焦可信人工智能基礎理論、共性技術與算法應用，特別是針對人工智能系統與算法的可信安全關鍵問題，研究人工智能與機器學習的魯棒性、不確定性、可解釋性、公平性等關鍵理論，研究多智能體協同智能算法與系統關鍵技術，研究可信智能算法、軟件、芯片以及分布式聯邦可信計算平臺，研究以智能網聯車為落地場景的可信人工智能技術應用，推進人工智能在智慧交通、智慧醫療、金融科技等領域的應用，促進基礎研究與創新創業深度融合，助力最新智能技術的成果轉化。

社會活動

2010年10月28日，何積豐參加了在無錫召開的2010中國國際物聯網(傳感網)大會，并在大會上做了主題為“物聯網中的若干問題”的演講。

2017年，在S36次香山科學會議中，何積豐在世界范圍內首次提出可信人工智能的概念。

2020年8月，何積豐參加了在中以（上海）創新園舉行的普陀區科技節啟動儀式。

2022年11月21日，在2022（第16屆）創業周暨全球創業周中國站閉幕式上，何積豐發表了主題《可信人工智能的展望》的演講。

2023年10月11-12日，第十一屆上海市院士專家峰會暨大飛機創新谷生態大會在中國商飛上海飛機設計研究院舉行。何積豐作了主題為《人工智能時代安全攸關系統軟件開發方法展望》的報告，提到人工智能技術在安全攸關產業的應用、相關挑戰和解決方案，以及C919上人工智能技術的一些應用場景，并表示希望與中國商飛合作推動大飛機產業高質量發展。

2024年9月，何積豐參加了20日至22日在山西太原舉行了主題為“萬物互聯晉善晉美”第十八屆中原地區物聯網（傳感器網絡）學術會議（CWSN 2024），并做特邀報告。

2024年11月，何積豐在2024超級科學晚活動上發表主題為《普通人如何使用AI大模型》的演講。何積豐表示，自1956年提出AI概念以來，AI技術迎來了AI第一段發展期——反思發展期——第二次發展高潮——AlphaGo引發全民AI熱潮階段。

社會任職

何積豐擔任多個國際著名學術會議主席、國際權威學術期刊編委。

2006年11月-2018年9月，何積豐擔任上海市科學技術協會第八屆和第九屆委員會副主席、常務委員、委員。

2019年4月，何積豐擔任全國信息技術標準化技術委員會第三屆軟件與系統工程分技術委員會主任委員，同年何積豐擔任上海人工智能安全專委會主任、上海市人工智能戰略咨詢專家委員會委員。

人才培養

教育理念

2001年，何積豐響應黨和國家號召，受命組建國家首批示范性軟件學院之一的華東師范大學軟件學院。在他的帶領下，軟件學院從成立時的5人發展到百余人的規模，向社會輸送3000多名“本碩博”專業人才，創設教育部軟硬件協同設計技術與應用工程研究中心、上海市高可信計算實驗室以及多個國家級和省部級重點研究基地，2010年入選國家基金委“創新研究群體”，是上海高校在計算機領域獲“創新研究群體”資助的唯一一家。2015年擴展為計算機科學與軟件工程學院，成為中國高校計算機軟件工程領域的領軍團隊。軟件工程學科經教育部評估全國排名第四，列入上海市一流學科建設。

何積豐率先提出卓越軟件人才的協同創新培養模式，先后與中國外高校及中國電子科技集團有限公司集團第32所、英特爾等企事業單位成立了多個合作研究實驗室，并與微軟等名企合作共建了10余門課程，以多元協作的方式，全面培養軟件行業人才的綜合創新能力。何積豐堅持國際化辦學，非常重視本科教學改革，全面推進雙語和全英文課程建設，引進國外課程、采用原版教材、試行教考分離、實行月考制度，將專業課程設置與工業界實際需求接軌，改變學業評價方式，從單一考試拓展為以考試、研究項目、學術論文進行綜合評價，要求專職老師從事學生實踐項目管理，學生提早進老師實驗室。

主講課程

何積豐為本科生開設了第一門由院士主講的通識教育課程——計算機文化，并梳理了自己多年的科研成果，為研究生開設了《程序統一理論》課程。

個人生活

家庭情況

1980年，何積豐被華東師范大學派到舊金山大學進修，他的妻子張蕾蕾全力支持他，一個人撫養著剛出生不久的女兒。然而，在何積豐去美國后半年，張蕾蕾在一起意外事故中受傷，雙目失明。為了不影響丈夫的學業和事業，她向何積豐隱瞞了真相。一年的美國進修結束后，何積豐帶妻子看醫生，然而重見光明的希望沒有實現。為了不成為丈夫的累贅，張蕾蕾向丈夫提出離婚，何積豐沒有答應，三十余年如一日地做妻子的“眼睛”。

個人習慣

何積豐養生是輕微運動，每天散步，還注意控制飲食，不吸煙、不喝酒，只喝白開水。

人物觀點

何積豐認為，大模型的安全問題主要是在未經同意的情況下，收集、使用和泄露個人信息。隱私問題既可能發生在訓練過程，也可能發生在使用過程中，而大模型的生成能力則讓“隱私泄露”的方式變得多樣化，造成隱私保護更加困難。

何積豐介紹，反饋強化學習是實現對齊的技術途徑，目前有兩種方式，一種方式是通過人工反饋給模型不同的獎勵信號，引導模型的高質量輸出；另一種方式，事先給大模型提供明確的原則，系統自動訓練模型對所有生成的輸出結果提供初始排序。“這意味著，不僅智能系統需要向人類價值觀對齊，人類的訓練方法也要向價值觀對齊。”何積豐說。

何積豐稱，大模型時代的隱私問題跟傳統的機器學習是有差別的，一是大模型在訓練過程中，涉及大量用戶個人信息和數據；二是使用過程中涉及很多用戶私密信息，這些信息沒有受到應有的隱私保護，用戶在使用時面臨“要么失去隱私、要么失去服務”的選擇；三是大模型的生成能力讓隱私泄露變得更加容易也更加多樣化，隱私保護變得更加困難。

何積豐指出，AI 就像孫悟空，需要唐僧的緊箍咒保證其不任意使用他的能力去闖禍、胡作非為，對齊就是控制 AI 安全的核心技術，對齊是指系統的目標和人類價值觀一致，使其符合設計者的利益和預期，不會產生意外的有害后果。何積豐以機器人為例，機器人學的第一定律就是不得傷害人類或因不作為使人類受到傷害。

何積豐強調，在 AI 發展過程中，千萬不要忘記人類的核心角色，“AI技術是我們的助手，而不是代替人類創造新世界的未來。”

“我們應該以開放的心態擁抱變化，相信AI技術會給我們帶來更加美好的未來。”何積豐稱。

獲得榮譽

參考資料

人物評價

何積豐教授在極具應用前景的重要領域中的計算科學方面做出了大量的基礎性貢獻。（圖靈獎獲得者Hoare評）

我發明的關系演算工作主要歸功于何積豐的研究。（圖靈獎獲得者Dijkstra評）

在過去十五年，何積豐是牛津大學程序研究領域取得成功的驅動力。（英國科學技術委員會給政府的報告評）

何積豐在軟件工程的科學理論與工業實踐方面做出了奠基性的工作?他發明并開發了計算機系統、通信與標準的精確規范（數學）理論與技術，能以低成本的方式構建高可靠的軟件與硬件系統。（英國皇家工程院院士McDermid評）

何教授對黨委工作要求特別高，他經常說，要充分發揮黨支部的戰斗堡壘作用，每一位黨員都應該在自己的本職崗位上發揮先鋒模范帶頭作用。（華東師范大學計算機科學與軟件工程學院黨委書記李愷評）

何老師始終把學術事業和祖國的命運與黨領導的事業密切地聯系在一起，為自己能夠在國家發展、學術發展和整個社會的進步中發揮作用而感到自豪。（華東師范大學黨委書記童世駿評）

黨齡33年、育人51載，何積豐始終堅守在教學和科研的第一線。他胸懷黨和國家事業，帶領團隊培養了數千名高層次軟件人才；他攻關科研、開拓創新，秉持執著追求的科學精神，開創可信軟件研究新領域；他敢于擔當、積極作為，取得了豐碩的教學科研成果，成為我國信息領域領軍專家，踐行了一名共產黨員的誓言。（光明日報評）

當了51年教師，何積豐高度注重青年教師與青年學子道德品性的塑造，每當有青年教師入職，他都會與其溝通交流、一起制定發展規劃。他大膽向學校提出人才計劃體制改革的設想，為青年教師設立專門的幫扶基金，創造寬松、良好、和諧的工作環境。（人民日報評）

何積豐與英國計算機科學家、圖靈獎獲得者托尼·霍爾一起創造性地提出了軟件領域的程序統一理論，開創了程序統一理論的國際學派，奠定了軟件語義元理論基礎；他建立了數據精化的完備理論，被國際計算機科學界譽為“面向模型軟件開發的一個里程碑”；他系統性地構建了基于模型的可信軟件設計方法與開發技術，被稱贊為在軟件工程的科學理論與工業實踐方面“做了奠基性的工作。（人民日報評）

參考資料 >

A new roadmap for linking theories of programming and its applications on GCL and CSP.sciencedirect.2024-11-03

中國科學院院士何積豐：普通人如何用好AI大模型產生更大價值.騰訊網.2024-11-03

何積豐.杭州電子科技大學計算機學院.2024-11-03

媒體關注|何積豐:一位院士的三次選擇.華東師范大學.2024-11-03

何積豐.科創中國.2024-11-03

實驗室主任.華東師范大學高可信計算重點實驗室.2024-11-03

何積豐院士.同濟大學交通運輸工程學院.2024-11-03

何積豐.華東師范大學教師個人主頁.2024-11-03

何積豐.華東師范大學高可信計算重點實驗室.2024-11-03

Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs.springer.2024-11-03

An Algebraic Approach to the VERILOG Programming.springer.2024-11-03