懷進(jìn)鵬 - 中國科學(xué)院院士
懷進(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ù)表彰
|
時(shí)間 |
榮譽(yù)表彰 |
授予單位 |
|
2007年 |
何梁何利基金科學(xué)與技術(shù)進(jìn)步獎(jiǎng) |
何梁何利基金會(huì) |
|
2009年 |
中國科學(xué)院院士(信息技術(shù)科學(xué)部) |
中國科學(xué)院 |
|
2012年6月7日 |
法國國家榮譽(yù)軍團(tuán)騎士勛章 |
社會(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))
