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