北京航空航天大學計算機學院導師簡介_跨考網(wǎng)

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

???????? 懷進鵬　男，博士，教授，博士生導師。

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