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

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

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

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

　　李未院士任《中國(guó)科學(xué)：信息科學(xué)》中英文版和《FrontiersofComputerScienceinChina》的主編。在國(guó)際、國(guó)內(nèi)學(xué)術(shù)刊物和國(guó)際學(xué)術(shù)會(huì)議發(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é)姐微信，或微信搜索公眾號(hào)“考研派小站”，關(guān)注[考研派小站]微信公眾號(hào)，在考研派小站微信號(hào)輸入[北京航空航天大學(xué)考研分?jǐn)?shù)線、北京航空航天大學(xué)報(bào)錄比、北京航空航天大學(xué)考研群、北京航空航天大學(xué)學(xué)姐微信、北京航空航天大學(xué)考研真題、北京航空航天大學(xué)專業(yè)目錄、北京航空航天大學(xué)排名、北京航空航天大學(xué)保研、北京航空航天大學(xué)公眾號(hào)、北京航空航天大學(xué)研究生招生）]即可在手機(jī)上查看相對(duì)應(yīng)北京航空航天大學(xué)考研信息或資源。

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