李未，男，1943年生，北京市人，計(jì)算機(jī)專(zhuān)家。1968年于北京大學(xué)數(shù)學(xué)力學(xué)系畢業(yè)后在北京航空學(xué)院（現(xiàn)北京航空航天大學(xué)）任教至今，期間獲英國(guó)愛(ài)丁堡大學(xué)計(jì)算機(jī)系博士學(xué)位。1986年起任北京航空航天大學(xué)計(jì)算機(jī)學(xué)院教授、博士研究生導(dǎo)師，2002年-2009年任北京航空航天大學(xué)校長(zhǎng)，現(xiàn)任國(guó)務(wù)院學(xué)位委員會(huì)委員、國(guó)有智能計(jì)算機(jī)專(zhuān)家組副組長(zhǎng)等職務(wù)。1997年當(dāng)選中國(guó)科學(xué)院院士。
李未院士系統(tǒng)地解決了實(shí)用并行程序設(shè)計(jì)語(yǔ)言，特別是并行及通訊結(jié)構(gòu)的語(yǔ)義問(wèn)題，在并行程序語(yǔ)言翻譯正確方面做出創(chuàng)始性貢獻(xiàn)。還提出開(kāi)放邏輯理論，建立了形式系統(tǒng)序列的極限理論等，證明了正交設(shè)計(jì)的最優(yōu)性，在研究和使用硅編譯技術(shù)及智能計(jì)算機(jī)研究等做出突出的成績(jī)，在計(jì)算機(jī)程序語(yǔ)義研究方面獲1995年國(guó)家自然科學(xué)二等獎(jiǎng)。1999年起先后擔(dān)任973計(jì)劃“網(wǎng)絡(luò)環(huán)境下海量信息的組織與處理的理論與方法研究”和“海量信息的協(xié)同性與可生存性的理論和實(shí)踐研究”項(xiàng)目首席科學(xué)家。提出了修正的演算系統(tǒng)（R-演算），并證明了R-演算的可靠性、完全性和可達(dá)性。提出并設(shè)計(jì)了過(guò)程模式語(yǔ)言，提出并研究了合理過(guò)程模式的三個(gè)基本特性，獲得1999年光華科技進(jìn)步一等獎(jiǎng)。主持研制的基礎(chǔ)設(shè)施網(wǎng)絡(luò)管理系統(tǒng)軟件生產(chǎn)平臺(tái)獲得2004年度國(guó)家科技進(jìn)步二等獎(jiǎng)（第一完成人）。已發(fā)表學(xué)術(shù)論文100余篇，專(zhuān)著1部。獲2005年度國(guó)家教學(xué)成果一等獎(jiǎng)，獲何梁何利科技進(jìn)步獎(jiǎng)一項(xiàng)。
