北京航空航天大學計算機學院導師介紹：李未 正文

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

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

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

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

　　目前主要研究方向包括：

　　計算機科學理論與軟件基礎(chǔ)

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

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

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



 

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

北京航空航天大學