懷進(jìn)鵬，男，漢族，1962年12月生，山東濟(jì)南人。

懷進(jìn)鵬于1986年1月加入中國共產(chǎn)黨，1987年9月參加工作，研究生學(xué)歷，工學(xué)博士，教授，中國科學(xué)院院士?，F(xiàn)任十九屆中央委員，教育部黨組書記、部長。

懷進(jìn)鵬主要從事網(wǎng)絡(luò)化軟件技術(shù)與系統(tǒng)研究工作。

人物經(jīng)歷

學(xué)習(xí)經(jīng)歷

1980年07月，從哈爾濱市第九中學(xué)校畢業(yè)。

1980年09月—1984年09月，在吉林工業(yè)大學(xué)（現(xiàn)吉林大學(xué)）計(jì)算機(jī)科學(xué)與工程系計(jì)算機(jī)應(yīng)用專業(yè)學(xué)習(xí)，并獲得學(xué)士學(xué)位。

1984年09月—1987年09月，在哈爾濱工業(yè)大學(xué)電氣工程系模式識(shí)別與智能控制專業(yè)學(xué)習(xí)，并獲得工學(xué)碩士學(xué)位。

2008年03月—2008年07月，在中央黨校中青年干部培訓(xùn)一班學(xué)習(xí)

工作經(jīng)歷

1986年01月，加入中國共產(chǎn)黨。

1987年09月—1994年06月，擔(dān)任北京航空航天大學(xué)計(jì)算機(jī)系教師。

1990年09月—1993年12月，在北京航空航天大學(xué)計(jì)算機(jī)科學(xué)與工程系計(jì)算機(jī)軟件專業(yè)學(xué)習(xí)，師從李未教授，并獲得工學(xué)博士學(xué)位。

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

1993年，獲得國家教委首批“優(yōu)秀中青年科技人才”計(jì)劃資助

1994年06月—1997年06月，擔(dān)任北京航空航天大學(xué)計(jì)算機(jī)系副主任、教授（1994年11月晉升）

1995年09月—1996年09月，在美國哥倫比亞大學(xué)做高級(jí)訪問學(xué)者

1997年06月—2000年12月，擔(dān)任北京航空航天大學(xué)計(jì)算機(jī)系主任

2000年12月—2003年01月，擔(dān)任北京航空航天大學(xué)黨委副書記、副校長

2003年01月—2003年04月，擔(dān)任北京航空航天大學(xué)黨委常委、副校長

2003年04月—2009年05月，擔(dān)任北京航空航天大學(xué)黨委常委、常務(wù)副校長（2006年02月明確為正局級(jí)）

2009年05月—2015年02月，擔(dān)任北京航空航天大學(xué)黨委副書記、校長（副部長級(jí)）（2009年11月，當(dāng)選中國科學(xué)院院士）

（2011年09月—2011年11月在中央黨校第50期省部級(jí)干部進(jìn)修班學(xué)習(xí)）

2015年02月—2016年12月，任工業(yè)和信息化部副部長、黨組成員，中央人才工作協(xié)調(diào)小組成員（2015年06月）

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

2017年08月—2017年09月，任中國科學(xué)技術(shù)協(xié)會(huì)黨組書記

2017年09月，擔(dān)任中國科學(xué)技術(shù)協(xié)會(huì)黨組書記、常務(wù)副主席、書記處第一書記

2021年05月，擔(dān)任中國科學(xué)技術(shù)協(xié)會(huì)第十屆全國委員會(huì)副主席（專職，分管日常工作）、書記處第一書記

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

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

主要成就

科研成就

科研綜述

懷進(jìn)鵬提出了網(wǎng)絡(luò)資源的可信聚合與調(diào)度方法，主持研制的系統(tǒng)實(shí)現(xiàn)了分布資源的可信共享和利用，為提高分布計(jì)算能力提供了實(shí)用系統(tǒng)；提出了安全協(xié)議分析的代數(shù)理論和算法，主持研制了協(xié)議自動(dòng)分析與驗(yàn)證系統(tǒng)；提出了過程類軟件自動(dòng)開發(fā)方法和技術(shù)，主持研制的軟件生產(chǎn)工具提高了面向領(lǐng)域的應(yīng)用軟件開發(fā)效率和質(zhì)量。1995年前主要從事邏輯推理與智能數(shù)據(jù)庫研究，他解決了缺省邏輯和限制邏輯中缺乏知識(shí)更新與進(jìn)化機(jī)理問題，給出了ATMS的語義和遞歸查詢算法。

網(wǎng)絡(luò)資源的可信共享與協(xié)同技術(shù)方面

懷進(jìn)鵬較早提出并深入研究了資源的可管性、可協(xié)同性和可信性問題，在服務(wù)資源的建模與組織、服務(wù)部署與信任管理、資源的分配與調(diào)度、可信服務(wù)體系結(jié)構(gòu)、分布式委托授權(quán)與信任管理等方面做出了系統(tǒng)的創(chuàng)新性研究工作；

研制了互聯(lián)網(wǎng)資源的可信共享與協(xié)同支撐平臺(tái)CROWN（總代碼量40萬行），通過了英國國家Science工程任務(wù)組ETF測(cè)評(píng)（2005年6～12月），并建立了連接中國、英國、美國、澳大利亞和香港地區(qū)的41個(gè)節(jié)點(diǎn)的廣域綜合試驗(yàn)環(huán)境，與國際同類系統(tǒng)相比在功能和性能上具有優(yōu)勢(shì)，已在氣象、高能物理、海量信息處理和計(jì)算流體力學(xué)等領(lǐng)域得到應(yīng)用，基于CROWN平臺(tái)與浪潮集團(tuán)研發(fā)的產(chǎn)業(yè)化版本，CROWN?Virtual?Cluster已成為浪潮集群計(jì)算機(jī)的預(yù)裝軟件進(jìn)入市場(chǎng)；

其中資源調(diào)度與分配系統(tǒng)被英國OMII中間件采用，并應(yīng)邀與美Globus、英OMII和歐洲EGEE等系統(tǒng)在第19屆國際超級(jí)計(jì)算會(huì)議（SC06）和OGF在線演示和集成，設(shè)計(jì)實(shí)現(xiàn)了異構(gòu)系統(tǒng)間三種互操作方法，提升了中國網(wǎng)絡(luò)資源的可信聚合與調(diào)度系統(tǒng)技術(shù)的整體水平和國際競(jìng)爭(zhēng)能力。

網(wǎng)絡(luò)化軟件開發(fā)方法方面

懷進(jìn)鵬等較早開展了XML及Web服務(wù)中間件技術(shù)研發(fā)，2002年主持完成了Web服務(wù)應(yīng)用支撐環(huán)境。為了解決從需求規(guī)約到軟件設(shè)計(jì)的有效轉(zhuǎn)換問題，懷進(jìn)鵬等采用面向目標(biāo)的軟件開發(fā)方法，通過目標(biāo)發(fā)現(xiàn)和抽象、目標(biāo)選擇和精化，以及目標(biāo)操作化，提出了面向領(lǐng)域的軟件目標(biāo)操作模型，統(tǒng)一描述了目標(biāo)與操作、主體屬性域及其關(guān)系；

針對(duì)電子政務(wù)和電子商務(wù)中過程類軟件設(shè)計(jì)到開發(fā)的自動(dòng)轉(zhuǎn)換問題，將業(yè)務(wù)處理視為對(duì)數(shù)據(jù)及其運(yùn)行狀態(tài)序列的管理，抽象出業(yè)務(wù)處理流程、操作序列、主體和客體等四個(gè)參數(shù)，提出了基于規(guī)則的元數(shù)據(jù)表示方法和面向數(shù)據(jù)交換與共享的軟總線，并提出了基于軟總線和多引擎協(xié)作的體系結(jié)構(gòu)，進(jìn)而將過程類軟件開發(fā)轉(zhuǎn)換為上述四個(gè)參數(shù)的實(shí)例化，為面向領(lǐng)域的軟件開發(fā)提供了一種高效的軟件工具，并已成功應(yīng)用于多個(gè)領(lǐng)域的軟件“零編程”開發(fā)，獲得了5項(xiàng)發(fā)明專利。

安全協(xié)議模型與算法方面

懷進(jìn)鵬等在國際上較早運(yùn)用代數(shù)學(xué)方法研究安全協(xié)議和安全性質(zhì)，創(chuàng)新地建立了密碼協(xié)議代數(shù)及其形式化模型。通過CPA上遷移函數(shù)及其序列精確描述消息的交互關(guān)系和協(xié)議運(yùn)行過程，通過子代數(shù)、多項(xiàng)式代數(shù)、自由生成元等刻畫主體（包括攻擊者）的知識(shí)擴(kuò)張過程，統(tǒng)一解決了多種密碼運(yùn)算和協(xié)議運(yùn)行的形式化問題，特別是推廣同調(diào)代數(shù)中正合序列概念，揭示了對(duì)協(xié)議的攻擊活動(dòng)過程，使協(xié)議安全性驗(yàn)證轉(zhuǎn)化為該序列是否滿足相應(yīng)的安全性目標(biāo)，為密碼協(xié)議的安全性研究提供了新的研究方法和理論。

針對(duì)協(xié)議安全性驗(yàn)證的復(fù)雜性，懷進(jìn)鵬等證明了協(xié)議分析中所有正合序列空間可約簡(jiǎn)為有限固定主體產(chǎn)生的正規(guī)序列空間，極大地縮小了需要分析的空間；證明了消息無關(guān)時(shí)，密碼協(xié)議合成保持安全性的一個(gè)充分條件，部分解決了密碼協(xié)議的一致性問題；并提出了一種高效的安全協(xié)議安全性自動(dòng)分析算法，支持直接構(gòu)造協(xié)議漏洞的攻擊過程；所研制的協(xié)議的自動(dòng)分析系統(tǒng)綜合性能優(yōu)于國際同類系統(tǒng)，發(fā)現(xiàn)并驗(yàn)證了國際上2個(gè)協(xié)議的新漏洞。取得了重要應(yīng)用效益，為協(xié)議安全性分析和驗(yàn)證奠定了基礎(chǔ)。

網(wǎng)絡(luò)安全協(xié)同管理技術(shù)與系統(tǒng)研究方面

為統(tǒng)一管理多種異構(gòu)安全系統(tǒng)，解決網(wǎng)絡(luò)安全盲區(qū)、冗余和協(xié)同防御問題，懷進(jìn)鵬等提出了基于自動(dòng)機(jī)的多主體協(xié)同檢測(cè)模型、正交知識(shí)庫、觸發(fā)多主體協(xié)同活動(dòng)的規(guī)則庫及其高效算法；研制了基于掃描信息總線的網(wǎng)絡(luò)安全集約管理工具及網(wǎng)絡(luò)安全協(xié)同管理系統(tǒng)，實(shí)現(xiàn)了入侵預(yù)警、入侵檢測(cè)、內(nèi)容監(jiān)控、漏洞掃描和安全審計(jì)等協(xié)同管理。

學(xué)術(shù)論著

截至2016年10月，懷進(jìn)鵬在國際會(huì)議、期刊和中國國內(nèi)主要學(xué)術(shù)期刊上發(fā)表學(xué)術(shù)論文100余篇。

學(xué)術(shù)交流

根據(jù)2019年12月何梁何利基金會(huì)網(wǎng)站顯示，懷進(jìn)鵬發(fā)起并建立了國際萬維網(wǎng)聯(lián)盟（W3C）中國分部，推動(dòng)了中國中間件“四方國件”技術(shù)聯(lián)盟，并與國際中間件聯(lián)盟ObjectWeb聯(lián)合建立了國際開放源代碼組織OW2，任副理事長。他擔(dān)任了第26屆IEEE、SRDS、第17屆WWW會(huì)議主席和ICWS2008程序委員會(huì)主席，二十余次擔(dān)任重要國際學(xué)術(shù)會(huì)議程序委員會(huì)委員，二十余次在國內(nèi)外學(xué)術(shù)會(huì)議上做大會(huì)特邀報(bào)告。

承擔(dān)項(xiàng)目

截至2016年10月，懷進(jìn)鵬先后主持多項(xiàng)國家973計(jì)劃、863計(jì)劃、自然科學(xué)基金、國防基金、攻關(guān)計(jì)劃、國際合作項(xiàng)目、信息產(chǎn)業(yè)部電子發(fā)展基金、國防重大研究計(jì)劃和國防預(yù)研計(jì)劃項(xiàng)目，并主持了國防科工委、工商行和北京市等多項(xiàng)大型信息系統(tǒng)研制。

人才培養(yǎng)

根據(jù)2019年12月何梁何利基金會(huì)網(wǎng)站顯示，懷進(jìn)鵬已培養(yǎng)博士研究生18名、碩士研究生50余名。

榮譽(yù)表彰

社會(huì)任職

懷進(jìn)鵬先后擔(dān)任第十二屆全國人民代表大會(huì)代表，中國共產(chǎn)黨第十九次全國代表大會(huì)代表，第十九屆中央委員會(huì)委員；國家信息化專家咨詢委員會(huì)委員，863計(jì)劃計(jì)算機(jī)主題首席科學(xué)家，國家電子政務(wù)試點(diǎn)示范工程總體組組長，國家電子政務(wù)標(biāo)準(zhǔn)化總體組組長、教育部黨組書記等職。

人物評(píng)價(jià)

懷進(jìn)鵬長期從事軟件與理論、網(wǎng)絡(luò)化軟件系統(tǒng)技術(shù)研究工作，主持和實(shí)施了多項(xiàng)國家重大科研項(xiàng)目并取得優(yōu)異的成績(jī)，在網(wǎng)絡(luò)軟件運(yùn)行、軟件設(shè)計(jì)與開發(fā)、通信安全等方面做出了重大創(chuàng)新性貢獻(xiàn)。（科普中國評(píng)）

懷進(jìn)鵬曾任國家計(jì)算機(jī)2000年問題專家組組長，多次代表中國政府參加聯(lián)合國高峰會(huì)議，受到中國國內(nèi)外高度評(píng)價(jià)。他先后擔(dān)任國家“十五”863計(jì)劃計(jì)算機(jī)主題和國家“十一五”863計(jì)劃信息技術(shù)領(lǐng)域首席科學(xué)家，為中國計(jì)算機(jī)和信息技術(shù)領(lǐng)域的戰(zhàn)略規(guī)劃、實(shí)施和發(fā)展做出了重要貢獻(xiàn)。他還為國家信息化建設(shè)做出了重要貢獻(xiàn)，作為國家電子政務(wù)標(biāo)準(zhǔn)化總體組組長，牽頭完成了6冊(cè)標(biāo)準(zhǔn)化指南和9份研究報(bào)告，共同組織了8項(xiàng)國家標(biāo)準(zhǔn)、25項(xiàng)國家標(biāo)準(zhǔn)草案的制定，兩次獲得國家信息化突出貢獻(xiàn)獎(jiǎng)。（何梁何利基金會(huì)評(píng)）