北京航空航天大學(xué)計(jì)算機(jī)學(xué)院導(dǎo)師簡(jiǎn)介_(kāi)跨考網(wǎng)

　　李未　1943年6月8日出生，北京航空航天大學(xué)計(jì)算機(jī)學(xué)院教授，博士生導(dǎo)師，中國(guó)科學(xué)院院士，國(guó)務(wù)院學(xué)位委員會(huì)委員。
　　李未院士1966年北京大學(xué)數(shù)學(xué)與力學(xué)系畢業(yè)，1983年獲英國(guó)愛(ài)丁堡大學(xué)計(jì)算機(jī)科學(xué)博士學(xué)位?，F(xiàn)任北航軟件開(kāi)發(fā)環(huán)境國(guó)家重點(diǎn)實(shí)驗(yàn)室主任。李未院士在實(shí)用并發(fā)語(yǔ)言操作語(yǔ)義和形式理論序列及其極限研究等方面取得了開(kāi)創(chuàng)性研究成果。1998年李未院士在我國(guó)首先倡導(dǎo)進(jìn)行海量信息計(jì)算的理論與方法研究，現(xiàn)擔(dān)任國(guó)家重點(diǎn)基礎(chǔ)研究發(fā)展規(guī)劃（973）項(xiàng)目“網(wǎng)絡(luò)環(huán)境下海量信息組織、處理及傳輸?shù)睦碚撆c方法”首席科學(xué)家。李未院士獲國(guó)家自然科學(xué)獎(jiǎng)二等獎(jiǎng)一項(xiàng)，省部級(jí)科技進(jìn)步獎(jiǎng)一等獎(jiǎng)及二等獎(jiǎng)多項(xiàng)，何梁何利科技進(jìn)步獎(jiǎng)一項(xiàng)。
　　李未院士是參與創(chuàng)立、發(fā)展和完善結(jié)構(gòu)操作語(yǔ)義方法的主要學(xué)者之一，80年代初期，李未院士使用這種方法最先給出了Ada語(yǔ)言有關(guān)任務(wù)，包括并行、匯聚、通訊、同步及選擇等機(jī)制的語(yǔ)義，建立了在并行機(jī)制下的程序模塊以及程序例外處理的語(yǔ)義。他的工作系統(tǒng)地解決了諸如像Ada、Edison等并發(fā)式程序設(shè)計(jì)語(yǔ)言的操作語(yǔ)義問(wèn)題，并在語(yǔ)義研究的基礎(chǔ)上建立了并發(fā)語(yǔ)言的翻譯與變換理論。
　　從1992年開(kāi)始，李未院士根據(jù)在863計(jì)劃實(shí)施過(guò)程中出現(xiàn)的軟件開(kāi)發(fā)方法及知識(shí)庫(kù)的建立和維護(hù)等需求，提出了關(guān)于形式系統(tǒng)序列、極限及相關(guān)的計(jì)算模式等一系列的概念和方法，將分析數(shù)學(xué)中逼近和近似的方法用于軟件系統(tǒng)的開(kāi)發(fā)。這一研究在國(guó)際上首次提出了以版本作為基本對(duì)象、用版本序列描述開(kāi)發(fā)過(guò)程、用版本系列極限刻畫最終目標(biāo)的概念和方法。
　　李未院士用模型的概念和方法，給出了知識(shí)庫(kù)維護(hù)過(guò)程中“增新擴(kuò)充”和“出錯(cuò)修正”的合理描述，首次建立了一個(gè)“規(guī)約修正”演算系統(tǒng)，并給出了基于Prolog語(yǔ)言的“規(guī)約修正”算法，該演算系統(tǒng)使程序規(guī)約的修正有了可操作的數(shù)學(xué)方法。他首次提出軟件開(kāi)發(fā)策略、知識(shí)庫(kù)維護(hù)策略的收斂性概念，并用版本序列的收斂速度衡量維護(hù)策略的優(yōu)劣。在他指導(dǎo)下的課題組成員還研究了力迫、猜想與反駁、歸納等多種軟件開(kāi)發(fā)策略，并證明了它們的收斂性。李未院士將這一整套概念和方法稱之為“開(kāi)發(fā)邏輯”理論，并曾應(yīng)邀在德、法、英、丹麥、及瑞典等國(guó)的大學(xué)就“開(kāi)發(fā)邏輯”理論進(jìn)行講演和講學(xué)。
　　為解決網(wǎng)絡(luò)環(huán)境下?lián)碛泻Ａ啃畔?、運(yùn)行著海量進(jìn)程的服務(wù)軟件系統(tǒng)的設(shè)計(jì)、實(shí)現(xiàn)和維護(hù)中的重大問(wèn)題，973“網(wǎng)絡(luò)環(huán)境下海量信息組織與處理的理論與方法研究”項(xiàng)目組從海量信息科學(xué)、軟件技術(shù)與方法以及試驗(yàn)性軟件研究三個(gè)層次開(kāi)展了基礎(chǔ)研究。兩年來(lái)，作為該項(xiàng)目的首席科學(xué)家，在他的領(lǐng)導(dǎo)下，項(xiàng)目組對(duì)此開(kāi)展了富有成效的研究，取得了豐碩的成果，并順利通過(guò)了科技部主持的項(xiàng)目中期評(píng)估，獲得重點(diǎn)資助。

???????? 懷進(jìn)鵬　男，博士，教授，博士生導(dǎo)師。

?　　懷進(jìn)鵬教授1962年12月20日生于黑龍江省哈爾濱市，1987年碩士畢業(yè)于哈爾濱工業(yè)大學(xué)計(jì)算機(jī)與電氣工程學(xué)院后，分配到北京航空航天大學(xué)任教，1990年師從我國(guó)著名的計(jì)算機(jī)科學(xué)家、中科院院士李未教授，1993年獲博士學(xué)位，同年獲國(guó)家教委首批“優(yōu)秀中青年科技人才”計(jì)劃資助，于1995年9月至1996年9月赴美國(guó)哥倫比亞大學(xué)計(jì)算機(jī)學(xué)院進(jìn)行學(xué)術(shù)交流與合作研究。
　　懷進(jìn)鵬教授現(xiàn)任北京航空航天大學(xué)校長(zhǎng)、國(guó)家信息化專家咨詢委員會(huì)成員、國(guó)家十五863計(jì)劃計(jì)算機(jī)主題專家組組長(zhǎng)、國(guó)家電子政務(wù)標(biāo)準(zhǔn)化總體組組長(zhǎng)、中國(guó)計(jì)算機(jī)學(xué)會(huì)常務(wù)理事。近10年來(lái)，主要從事計(jì)算機(jī)軟件與理論、計(jì)算機(jī)應(yīng)用、網(wǎng)絡(luò)信息安全等方面的研究和開(kāi)發(fā)工作，具有優(yōu)秀的專業(yè)素質(zhì)、開(kāi)拓能力和創(chuàng)新意識(shí)。已主持國(guó)家863計(jì)劃、自然科學(xué)基金、國(guó)防基金、攻關(guān)計(jì)劃、國(guó)際合作項(xiàng)目、信息產(chǎn)業(yè)部電子發(fā)展基金、國(guó)防重大研究計(jì)劃和國(guó)防預(yù)研計(jì)劃和國(guó)家信息安全中心等研發(fā)計(jì)劃項(xiàng)目，并主持了國(guó)防科工委、工商行和北京市等多項(xiàng)大型信息系統(tǒng)研制。近年來(lái)，在網(wǎng)絡(luò)軟件、Web服務(wù)技術(shù)和網(wǎng)絡(luò)安全方面取得了重要的研究和實(shí)踐結(jié)果，發(fā)表學(xué)術(shù)論文100余篇，近幾年來(lái)，獲國(guó)家科學(xué)技術(shù)進(jìn)步二等獎(jiǎng)2項(xiàng)，省部級(jí)科學(xué)技術(shù)進(jìn)步一等獎(jiǎng)5項(xiàng)。