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

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

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

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

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

　　目前主要研究方向包括：

　　計算機科學理論與軟件基礎

　　非結構化數據理論與實踐

　　大數據的分析與處理

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



 

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

北京航空航天大學