懷進鵬

懷進鵬

中國科學院院士
懷進鵬,男,漢族,1962年12月生,山東濟南人。懷進鵬于1986年1月加入中國共産黨,1987年9月參加工作,研究生學曆,工學博士,教授,中國科學院院士。現任十九屆中央委員,教育部黨組書記、部長。懷進鵬主要從事網絡化軟件技術與系統研究工作。
    中文名:懷進鵬 民族:漢族 出生地:黑龍江省哈爾濱市 畢業院校:哈爾濱工業大學 學位/學曆: 職業: 專業方向: 職務: 學術代表作: 主要成就:2009年當選中國科學院院士 性别:男

人物經曆

學習經曆

1980年07月,從哈爾濱市第九中學校畢業。

1980年09月—1984年09月,在吉林工業大學(現吉林大學)計算機科學與工程系計算機應用專業學習,并獲得學士學位。

1984年09月—1987年09月,在哈爾濱工業大學電氣工程系模式識别與智能控制專業學習,并獲得工學碩士學位。

2008年03月—2008年07月,在中央黨校中青年幹部培訓一班學習

工作經曆

1986年01月,加入中國共産黨。

1987年09月—1994年06月,擔任北京航空航天大學計算機系教師。

1990年09月—1993年12月,在北京航空航天大學計算機科學與工程系計算機軟件專業學習,師從李未教授,并獲得工學博士學位。

1992年11月,獲得副教授職稱,并任職軟件教研室副主任

1993年,獲得國家教委首批“優秀中青年科技人才”計劃資助

1994年06月—1997年06月,擔任北京航空航天大學計算機系副主任、教授(1994年11月晉升)

1995年09月—1996年09月,在美國哥倫比亞大學做高級訪問學者

1997年06月—2000年12月,擔任北京航空航天大學計算機系主任

2000年12月—2003年01月,擔任北京航空航天大學黨委副書記、副校長

2003年01月—2003年04月,擔任北京航空航天大學黨委常委、副校長

2003年04月—2009年05月,擔任北京航空航天大學黨委常委、常務副校長(2006年02月明确為正局級)

2009年05月—2015年02月,擔任北京航空航天大學黨委副書記、校長(副部長級)(2009年11月,當選中國科學院院士)

(2011年09月—2011年11月在中央黨校第50期省部級幹部進修班學習)

2015年02月—2016年12月,任工業和信息化部副部長、黨組成員,中央人才工作協調小組成員(2015年06月)

2016年12月—2017年08月,任天津市委副書記

2017年08月—2017年09月,任中國科學技術協會黨組書記

2017年09月,擔任中國科學技術協會黨組書記、常務副主席、書記處第一書記

2021年05月,擔任中國科學技術協會第十屆全國委員會副主席(專職,分管日常工作)、書記處第一書記

2021年07月,任教育部黨組書記。

2021年08月,任教育部部長。

主要成就

科研成就

科研綜述

懷進鵬提出了網絡資源的可信聚合與調度方法,主持研制的系統實現了分布資源的可信共享和利用,為提高分布計算能力提供了實用系統;提出了安全協議分析的代數理論和算法,主持研制了協議自動分析與驗證系統;提出了過程類軟件自動開發方法和技術,主持研制的軟件生産工具提高了面向領域的應用軟件開發效率和質量。1995年前主要從事邏輯推理與智能數據庫研究,他解決了缺省邏輯和限制邏輯中缺乏知識更新與進化機理問題,給出了ATMS的語義和遞歸查詢算法。

網絡資源的可信共享與協同技術方面

懷進鵬較早提出并深入研究了資源的可管性、可協同性和可信性問題,在服務資源的建模與組織、服務部署與信任管理、資源的分配與調度、可信服務體系結構、分布式委托授權與信任管理等方面做出了系統的創新性研究工作;

研制了互聯網資源的可信共享與協同支撐平台CROWN(總代碼量40萬行),通過了英國國家Science工程任務組ETF測評(2005年6~12月),并建立了連接中國、英國、美國、澳大利亞和香港地區的41個節點的廣域綜合試驗環境,與國際同類系統相比在功能和性能上具有優勢,已在氣象、高能物理、海量信息處理和計算流體力學等領域得到應用,基于CROWN平台與浪潮集團研發的産業化版本,CROWN Virtual Cluster已成為浪潮集群計算機的預裝軟件進入市場;

其中資源調度與分配系統被英國OMII中間件采用,并應邀與美Globus、英OMII和歐洲EGEE等系統在第19屆國際超級計算會議(SC06)和OGF在線演示和集成,設計實現了異構系統間三種互操作方法,提升了中國網絡資源的可信聚合與調度系統技術的整體水平和國際競争能力。

網絡化軟件開發方法方面

懷進鵬等較早開展了XML及Web服務中間件技術研發,2002年主持完成了Web服務應用支撐環境。為了解決從需求規約到軟件設計的有效轉換問題,懷進鵬等采用面向目标的軟件開發方法,通過目标發現和抽象、目标選擇和精化,以及目标操作化,提出了面向領域的軟件目标操作模型,統一描述了目标與操作、主體屬性域及其關系;

針對電子政務和電子商務中過程類軟件設計到開發的自動轉換問題,将業務處理視為對數據及其運行狀态序列的管理,抽象出業務處理流程、操作序列、主體和客體等四個參數,提出了基于規則的元數據表示方法和面向數據交換與共享的軟總線,并提出了基于軟總線和多引擎協作的體系結構,進而将過程類軟件開發轉換為上述四個參數的實例化,為面向領域的軟件開發提供了一種高效的軟件工具,并已成功應用于多個領域的軟件“零編程”開發,獲得了5項發明專利。

安全協議模型與算法方面

懷進鵬等在國際上較早運用代數學方法研究安全協議和安全性質,創新地建立了密碼協議代數及其形式化模型。通過CPA上遷移函數及其序列精确描述消息的交互關系和協議運行過程,通過子代數、多項式代數、自由生成元等刻畫主體(包括攻擊者)的知識擴張過程,統一解決了多種密碼運算和協議運行的形式化問題,特别是推廣同調代數中正合序列概念,揭示了對協議的攻擊活動過程,使協議安全性驗證轉化為該序列是否滿足相應的安全性目标,為密碼協議的安全性研究提供了新的研究方法和理論。

針對協議安全性驗證的複雜性,懷進鵬等證明了協議分析中所有正合序列空間可約簡為有限固定主體産生的正規序列空間,極大地縮小了需要分析的空間;證明了消息無關時,密碼協議合成保持安全性的一個充分條件,部分解決了密碼協議的一緻性問題;并提出了一種高效的安全協議安全性自動分析算法,支持直接構造協議漏洞的攻擊過程;所研制的協議的自動分析系統綜合性能優于國際同類系統,發現并驗證了國際上2個協議的新漏洞。取得了重要應用效益,為協議安全性分析和驗證奠定了基礎。

網絡安全協同管理技術與系統研究方面

為統一管理多種異構安全系統,解決網絡安全盲區、冗餘和協同防禦問題,懷進鵬等提出了基于自動機的多主體協同檢測模型、正交知識庫、觸發多主體協同活動的規則庫及其高效算法;研制了基于掃描信息總線的網絡安全集約管理工具及網絡安全協同管理系統,實現了入侵預警、入侵檢測、内容監控、漏洞掃描和安全審計等協同管理。

學術論著

截至2016年10月,懷進鵬在國際會議、期刊和中國國内主要學術期刊上發表學術論文100餘篇。

學術交流

根據2019年12月何梁何利基金會網站顯示,懷進鵬發起并建立了國際萬維網聯盟(W3C)中國分部,推動了中國中間件“四方國件”技術聯盟,并與國際中間件聯盟ObjectWeb聯合建立了國際開放源代碼組織OW2,任副理事長。他擔任了第26屆IEEE、SRDS、第17屆WWW會議主席和ICWS2008程序委員會主席,二十餘次擔任重要國際學術會議程序委員會委員,二十餘次在國内外學術會議上做大會特邀報告。

承擔項目

截至2016年10月,懷進鵬先後主持多項國家973計劃、863計劃、自然科學基金、國防基金、攻關計劃、國際合作項目、信息産業部電子發展基金、國防重大研究計劃和國防預研計劃項目,并主持了國防科工委、工商行和北京市等多項大型信息系統研制。

人才培養

根據2019年12月何梁何利基金會網站顯示,懷進鵬已培養博士研究生18名、碩士研究生50餘名。

榮譽表彰

時間

榮譽表彰

授予單位

2007年

何梁何利基金科學與技術進步獎

何梁何利基金會

2009年

中國科學院院士(信息技術科學部)

中國科學院

2012年6月7日

法國國家榮譽軍團騎士勳章

社會任職

懷進鵬先後擔任第十二屆全國人民代表大會代表,中國共産黨第十九次全國代表大會代表,第十九屆中央委員會委員;國家信息化專家咨詢委員會委員,863計劃計算機主題首席科學家,國家電子政務試點示範工程總體組組長,國家電子政務标準化總體組組長、教育部黨組書記等職。

人物評價

懷進鵬長期從事軟件與理論、網絡化軟件系統技術研究工作,主持和實施了多項國家重大科研項目并取得優異的成績,在網絡軟件運行、軟件設計與開發、通信安全等方面做出了重大創新性貢獻。(科普中國評)

懷進鵬曾任國家計算機2000年問題專家組組長,多次代表中國政府參加聯合國高峰會議,受到中國國内外高度評價。他先後擔任國家“十五”863計劃計算機主題和國家“十一五”863計劃信息技術領域首席科學家,為中國計算機和信息技術領域的戰略規劃、實施和發展做出了重要貢獻。他還為國家信息化建設做出了重要貢獻,作為國家電子政務标準化總體組組長,牽頭完成了6冊标準化指南和9份研究報告,共同組織了8項國家标準、25項國家标準草案的制定,兩次獲得國家信息化突出貢獻獎。(何梁何利基金會評)

上一篇:尚冰

下一篇:方濱興

相關詞條

相關搜索

其它詞條