北京航空航天大學(xué)計(jì)算機(jī)學(xué)院導(dǎo)師介紹：李未 正文

　　
　　李未，北京航空航天大學(xué)計(jì)算機(jī)學(xué)院教授，博士生導(dǎo)師，中國科學(xué)院院士，國務(wù)院學(xué)位委員會委員，第十、十一屆全國政協(xié)委員，科技部專家顧問委員會委員，教育部咨詢委員會委員，教育部計(jì)算機(jī)教學(xué)指導(dǎo)委員會主任，電子學(xué)會副理事長。

　　李未院士是我國著名的計(jì)算機(jī)科學(xué)家。1943年6月8日出生，1966年北京大學(xué)數(shù)學(xué)與力學(xué)系畢業(yè)，1983年獲英國愛丁堡大學(xué)計(jì)算機(jī)科學(xué)博士學(xué)位。2002-2009年任北京航空航天大學(xué)校長?，F(xiàn)任軟件開發(fā)環(huán)境國家重點(diǎn)實(shí)驗(yàn)室主任。曾任國家中長期科技發(fā)展規(guī)劃大型飛機(jī)重大專項(xiàng)論證專家組組長，以及實(shí)施方案論證專家委員會主任委員。

　　李未院士在實(shí)用并發(fā)語言操作語義、形式理論序列和修正演算等方面取得了開創(chuàng)性研究成果。他對科學(xué)理論的進(jìn)化、軟件及其功能描述中的缺陷和程序錯誤的定位和修復(fù)進(jìn)行了系統(tǒng)深入的研究，提出了關(guān)于版本序列的理論，建立了對錯誤進(jìn)行修正的形式演算系統(tǒng)（R-演算）；設(shè)計(jì)了描述軟件開發(fā)方法的形式語言，提出了可信軟件開發(fā)方法的基本理論；在2007年和2010年分別出版了中英文專著《數(shù)理邏輯--基本原理與形式演算》。李未院士在我國率先倡導(dǎo)進(jìn)行海量信息計(jì)算的理論與方法研究，曾兩次擔(dān)任國家重點(diǎn)基礎(chǔ)研究發(fā)展規(guī)劃（973）項(xiàng)目的首席科學(xué)家。李未院士1995年獲國家自然科學(xué)獎二等獎一項(xiàng)，1997年獲何梁何利科技進(jìn)步獎一項(xiàng)，2004年獲國家級科技進(jìn)步二等獎一項(xiàng)，2005年獲國家教學(xué)成果一等獎一項(xiàng)。

　　李未院士任《中國科學(xué)：信息科學(xué)》中英文版和《FrontiersofComputerScienceinChina》的主編。在國際、國內(nèi)學(xué)術(shù)刊物和國際學(xué)術(shù)會議發(fā)表學(xué)術(shù)論文百余篇，中文專著2部，英文專著1部。86年起擔(dān)任博士生導(dǎo)師，培養(yǎng)博士后8名、博士研究生52名和碩士生百余人。

　　目前主要研究方向包括：

　　計(jì)算機(jī)科學(xué)理論與軟件基礎(chǔ)

　　非結(jié)構(gòu)化數(shù)據(jù)理論與實(shí)踐

　　大數(shù)據(jù)的分析與處理

　　李未老師的招生聯(lián)系人是：羅杰老師， 郵箱：luojie@nlsde.buaa.edu.cn，辦公地點(diǎn)：G1125，電話：82318422



 

添加北京航空航天大學(xué)學(xué)姐微信，或微信搜索公眾號“考研派小站”，關(guān)注[考研派小站]微信公眾號，在考研派小站微信號輸入[北京航空航天大學(xué)考研分?jǐn)?shù)線、北京航空航天大學(xué)報(bào)錄比、北京航空航天大學(xué)考研群、北京航空航天大學(xué)學(xué)姐微信、北京航空航天大學(xué)考研真題、北京航空航天大學(xué)專業(yè)目錄、北京航空航天大學(xué)排名、北京航空航天大學(xué)保研、北京航空航天大學(xué)公眾號、北京航空航天大學(xué)研究生招生）]即可在手機(jī)上查看相對應(yīng)北京航空航天大學(xué)考研信息或資源。

北京航空航天大學(xué)