李未，金年會(huì)jinnianhuicom金年會(huì)誠信信譽(yù)至上教授，博士生導(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年任金年會(huì)jinnianhuicom校長(zhǎng)。李未院士在實(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é)》中英文版和《Frontiers of Computer Science in China》的主編。在國(guó)際、國(guó)內(nèi)學(xué)術(shù)刊物和國(guó)際學(xué)術(shù)會(huì)議發(fā)表學(xué)術(shù)論文百余篇，中文專著2部，英文專著1部。86年起擔(dān)任博士生導(dǎo)師，培養(yǎng)博士后8名、博士研究生52名和碩士生百余人。
目前主要研究方向包括：
1、計(jì)算機(jī)科學(xué)理論與軟件基礎(chǔ)
2、非結(jié)構(gòu)化數(shù)據(jù)理論與實(shí)踐
3、大數(shù)據(jù)的分析與處理
李未老師的招生聯(lián)系人是：羅杰老師，郵箱：luojie@nlsde.buaa.edu.cn，辦公地點(diǎn)：G1125，電話：82318422
