懷進鵬

1980.09—1984.09，吉林工業大學計算機科學與工程系計算機應用專業學習；

1984.09—1987.09，哈爾濱工業大學電氣工程系模式識別與智能控制專業碩士研究生；

1987.09—1994.06，北京航空航天大學計算機系教師（其間：1990.09—1993.12，在北京航空航天大學計算機科學與工程系計算機軟體專業學習，獲工學博士學位）；

1994.06—1997.06，北京航空航天大學計算機系副主任（其間：1995.09—1996.09，美國哥倫比亞大學高級訪問學者）；

1997.06—2000.12，北京航空航天大學計算機系主任；

2000.12—2003.01，北京航空航天大學黨委副書記、副校長；

2003.01—2003.04，北京航空航天大學黨委常委、副校長；

2003.04—2009.05，北京航空航天大學黨委常委、常務副校長（2006.02明確為正局級）（其間：2008.03—2008.07，在中央黨校中青年幹部培訓一班學習）；

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.07，中國科學技術協會黨組書記；

2017.09，中國科學技術協會常務副主席、書記處第一書記；

2021.07—，教育部黨組書記。

2021.08—，教育部部長。

第十二屆全國人民代表大會代表，中國共產黨第十九次全國代表大會代表，第十九屆中央委員會委員。

2017年9月1日，中國科協召開幹部大會宣布中央關於中國科協黨組主要負責同志調整的決定，懷進鵬同志任中國科協黨組書記。

2017年9月20日，中國科協九屆五次常委會議在北京召開。根據中國科學技術協會章程，會議一致表決通過，懷進鵬同志擔任中國科協第九屆全國委員會常務委員會書記處第一書記；審議通過了《關於變更懷進鵬同志為中國科協第九屆全國委員會副主席、常務委員會委員的報告》。

2021年5月30日下午，中國科協第十屆全國委員會第一次會議在北京召開，懷進鵬當選中國科學技術協會第十屆全國委員會副主席。

2021年8月2日，教育部官網“教育部領導”欄目顯示，懷進鵬已任教育部黨組書記。

2021年8月20日，十三屆全國人大常委會第三十次會議經表決，決定任命懷進鵬為教育部部長。

懷進鵬教授長期從事計算機軟體與理論、網際網路軟體技術與系統研究，他系統地研究了網路資源的可管理性、可協同性和可信任性問題，完成了服務網格中間件系統CROWN，建立了面向網際網路的資源共享與協同環境；提出了一種從需求分析到軟體設計、開發的自動轉換方法，完成了面向領域的軟體開發平台；通過建立安全協議代數模型，提出了高效的協議安全性自動分析演演算法，研製了協議安全自動分析系統。

在網路資源的可信共享與協同技術方面，懷進鵬較早提出並深入研究了資源的可管性、可協同性和可信性問題，在服務資源的建模與組織、服務部署與信任管理、資源的分配與調度、可信服務體系 結構、分散式委託授權與信任管理等方面做出了系統的創新性研究工作。

研製了網際網路資源的可信共享與協同支撐平台CROWN，通過了英國國家e-Science工程任務組ETF測評（05年6～12月），並建立了連接中國、英國、美國、澳大利亞和香港地區的41個節點的廣域綜合試驗環境，與國際同類系統相比在功能和性能上具有優勢，已在氣象、高能物理、海量信息處理和計算流體力學等領域得到應用，基於CROWN平台與浪潮集團研發的產業化版本，CROWN Virtual Cluster已成為浪潮集群計算機的預裝軟體進入市場；其中資源調度與分配系統被英國OMII中間件採用，並應邀與美Globus、英OMII和歐洲EGEE等系統在第19屆國際超級計算會議（SC06）和OGF在線演示和集成，設計實現了異構系統間三種互操作方法，顯著提升了我國網路資源的可信聚合與調度系統技術的整體水平和國際競爭能力。

在網路化軟體開發方法方面，懷進鵬等較早開展了XML及Web服務中間件技術研發，2002年主持完成了Web服務應用支撐環境。為了解決從需求規約到軟體設計的有效轉換問題，懷進鵬等採用面向目標的軟體開發方法，通過目標發現和抽象、目標選擇和精化，以及目標操作化，提出了面向領域的軟體目標操作模型，統一描述了目標與操作、主體屬性域及其關係；針對電子政務和電子商務中過程類軟體設計到開發的自動轉換問題，將業務處理視為對數據及其運行狀態序列的管理，抽象出業務處理流程、操作序列、主體和客體等四個參數，提出了基於規則的元數據表示方法和面向數據交換與共享的軟匯流排，並提出了基於軟匯流排和多引擎協作的體系結構，進而將過程類軟體開發轉換為上述四個參數的實例化，為面向領域的軟體開發提供了一種高效的軟體工具，並已成功應用於多個領域的軟體“零編程”開發。

在安全協議模型與演演算法方面，懷進鵬等在國際上較早運用代數學方法研究安全協議和安全性質，創新地建立了密碼協議代數（Cryptographic Protocol Algebra,CPA）及其形式化模型。通過CPA上遷移函數及其序列精確描述消息的交互關係和協議運行過程，通過子代數、多項式代數、自由生成元等刻畫主體（包括攻擊者）的知識擴張過程，統一解決了多種密碼運算和協議運行的形式化問題，特別是推廣同調代數中正合序列概念，揭示了對協議的攻擊活動過程，使協議安全性驗證轉化為該序列是否滿足相應的安全性目標，為密碼協議的安全性研究提供了新的研究方法和理論。針對協議安全性驗證的複雜性，懷進鵬等證明了協議分析中所有正合序列空間可約簡為有限固定主體產生的正規序列空間，極大地縮小了需要分析的空間；證明了消息無關時，密碼協議合成保持安全性的一個充分條件，部分解決了密碼協議的一致性問題；並提出了一種高效的安全協議安全性自動分析演演算法，支持直接構造協議漏洞的攻擊過程；所研製的協議的自動分析系統綜合性能優於國際同類系統，取得了重要應用效益，為協議安全性分析和驗證奠定了基礎。

在網路安全協同管理技術與系統研究方面，為統一管理多種異構安全系統，解決網路安全盲區、冗餘和協同防禦問題，懷進鵬等提出了基於自動機的多主體協同檢測模型、正交知識庫、觸發多主體協同活動的規則庫及其高效演演算法；研製了基於掃描信息匯流排的網路安全集約管理工具及網路安全協同管理系統，實現了入侵預警、入侵檢測、內容監控、漏洞掃描和安全審計等協同管理。

1.密碼協議的代數模型及其安全性；

2 .基於角色的訪問控制模型的擴充和實現機制研究；

3 .基於角色的軟體協作環境研究與實現；

4 .XML數據安全系統的研究與實現；

5 .基於XML的密鑰管理的研究與實現；

6 .基於XML的多粒度訪問控制系統；

7 .Efficient Non-repudiation Multicast Source Authentication Schemes；

8 .面向Web Service中間件的應用支撐環境；

9 分散式網路環境下密碼協議形式模型和安全性。