北京航空航天大學計算機學院導師簡介_跨考網
李未 1943年6月8日出生,北京航空航天大學計算機學院教授,博士生導師,中國科學院院士,國務院學位委員會委員。
李未院士1966年北京大學數學與力學系畢業(yè),1983年獲英國愛丁堡大學計算機科學博士學位?,F任北航軟件開發(fā)環(huán)境國家重點實驗室主任。李未院士在實用并發(fā)語言操作語義和形式理論序列及其極限研究等方面取得了開創(chuàng)性研究成果。1998年李未院士在我國首先倡導進行海量信息計算的理論與方法研究,現擔任國家重點基礎研究發(fā)展規(guī)劃(973)項目“網絡環(huán)境下海量信息組織、處理及傳輸的理論與方法”首席科學家。李未院士獲國家自然科學獎二等獎一項,省部級科技進步獎一等獎及二等獎多項,何梁何利科技進步獎一項。
李未院士是參與創(chuàng)立、發(fā)展和完善結構操作語義方法的主要學者之一,80年代初期,李未院士使用這種方法最先給出了Ada語言有關任務,包括并行、匯聚、通訊、同步及選擇等機制的語義,建立了在并行機制下的程序模塊以及程序例外處理的語義。他的工作系統(tǒng)地解決了諸如像Ada、Edison等并發(fā)式程序設計語言的操作語義問題,并在語義研究的基礎上建立了并發(fā)語言的翻譯與變換理論。
從1992年開始,李未院士根據在863計劃實施過程中出現的軟件開發(fā)方法及知識庫的建立和維護等需求,提出了關于形式系統(tǒng)序列、極限及相關的計算模式等一系列的概念和方法,將分析數學中逼近和近似的方法用于軟件系統(tǒng)的開發(fā)。這一研究在國際上首次提出了以版本作為基本對象、用版本序列描述開發(fā)過程、用版本系列極限刻畫最終目標的概念和方法。
李未院士用模型的概念和方法,給出了知識庫維護過程中“增新擴充”和“出錯修正”的合理描述,首次建立了一個“規(guī)約修正”演算系統(tǒng),并給出了基于Prolog語言的“規(guī)約修正”算法,該演算系統(tǒng)使程序規(guī)約的修正有了可操作的數學方法。他首次提出軟件開發(fā)策略、知識庫維護策略的收斂性概念,并用版本序列的收斂速度衡量維護策略的優(yōu)劣。在他指導下的課題組成員還研究了力迫、猜想與反駁、歸納等多種軟件開發(fā)策略,并證明了它們的收斂性。李未院士將這一整套概念和方法稱之為“開發(fā)邏輯”理論,并曾應邀在德、法、英、丹麥、及瑞典等國的大學就“開發(fā)邏輯”理論進行講演和講學。
為解決網絡環(huán)境下擁有海量信息、運行著海量進程的服務軟件系統(tǒng)的設計、實現和維護中的重大問題,973“網絡環(huán)境下海量信息組織與處理的理論與方法研究”項目組從海量信息科學、軟件技術與方法以及試驗性軟件研究三個層次開展了基礎研究。兩年來,作為該項目的首席科學家,在他的領導下,項目組對此開展了富有成效的研究,取得了豐碩的成果,并順利通過了科技部主持的項目中期評估,獲得重點資助。
???????? 懷進鵬 男,博士,教授,博士生導師。
? 懷進鵬教授1962年12月20日生于黑龍江省哈爾濱市,1987年碩士畢業(yè)于哈爾濱工業(yè)大學計算機與電氣工程學院后,分配到北京航空航天大學任教,1990年師從我國著名的計算機科學家、中科院院士李未教授,1993年獲博士學位,同年獲國家教委首批“優(yōu)秀中青年科技人才”計劃資助,于1995年9月至1996年9月赴美國哥倫比亞大學計算機學院進行學術交流與合作研究。
懷進鵬教授現任北京航空航天大學校長、國家信息化專家咨詢委員會成員、國家十五863計劃計算機主題專家組組長、國家電子政務標準化總體組組長、中國計算機學會常務理事。近10年來,主要從事計算機軟件與理論、計算機應用、網絡信息安全等方面的研究和開發(fā)工作,具有優(yōu)秀的專業(yè)素質、開拓能力和創(chuàng)新意識。已主持國家863計劃、自然科學基金、國防基金、攻關計劃、國際合作項目、信息產業(yè)部電子發(fā)展基金、國防重大研究計劃和國防預研計劃和國家信息安全中心等研發(fā)計劃項目,并主持了國防科工委、工商行和北京市等多項大型信息系統(tǒng)研制。近年來,在網絡軟件、Web服務技術和網絡安全方面取得了重要的研究和實踐結果,發(fā)表學術論文100余篇,近幾年來,獲國家科學技術進步二等獎2項,省部級科學技術進步一等獎5項。
2022考研初復試已經接近尾聲,考研學子全面進入2023屆備考,跨考為23考研的考生準備了10大課包全程準備、全年復習備考計劃、目標院校專業(yè)輔導、全真復試模擬練習和全程針對性指導;2023考研的小伙伴針也已經開始擇校和復習了,跨考考研暢學5.0版本全新升級,無論你在校在家都可以更自如的完成你的考研復習,暑假集訓營帶來了院校專業(yè)初步選擇,明確方向;考研備考全年規(guī)劃,核心知識點入門;個性化制定備考方案,助你贏在起跑線,早出發(fā)一點離成功就更近一點!
考研院校專業(yè)選擇和考研復習計劃 | |||
2023備考學習 | 2023線上線下隨時學習 | 34所自劃線院??佳袕驮嚪謹稻€匯總 | |
2022考研復試最全信息整理 | 全國各招生院??佳袕驮嚪謹稻€匯總 | ||
2023全日制封閉訓練 | 全國各招生院??佳姓{劑信息匯總 | ||
2023考研先知 | 考研考試科目有哪些? | 如何正確看待考研分數線? | |
不同院校相同專業(yè)如何選擇更適合自己的 | 從就業(yè)說考研如何擇專業(yè)? | ||
手把手教你如何選專業(yè)? | 高校研究生教育各學科門類排行榜 |
相關推薦
跨考考研課程
班型 | 定向班型 | 開班時間 | 高定班 | 標準班 | 課程介紹 | 咨詢 |
秋季集訓 | 沖刺班 | 9.10-12.20 | 168000 | 24800起 | 小班面授+專業(yè)課1對1+專業(yè)課定向輔導+協議加強課程(高定班)+專屬規(guī)劃答疑(高定班)+精細化答疑+復試資源(高定班)+復試課包(高定班)+復試指導(高定班)+復試班主任1v1服務(高定班)+復試面授密訓(高定班)+復試1v1(高定班) | |
2023集訓暢學 | 非定向(政英班/數政英班) | 每月20日 | 22800起(協議班) | 13800起 | 先行階在線課程+基礎階在線課程+強化階在線課程+真題階在線課程+沖刺階在線課程+專業(yè)課針對性一對一課程+班主任全程督學服務+全程規(guī)劃體系+全程測試體系+全程精細化答疑+擇校擇專業(yè)能力定位體系+全年關鍵環(huán)節(jié)指導體系+初試加強課+初試專屬服務+復試全科標準班服務 |