李未，男，1943年6月生，漢族，北京人。1966年畢業(yè)于北京大學(xué)數(shù)學(xué)系，1983年獲英國愛丁堡大學(xué)計算機(jī)科學(xué)博士學(xué)位。現(xiàn)任北京航空航天大學(xué)教授，享受國務(wù)院政府特殊津貼。
在實用并發(fā)語言操作語義、形式理論序列和修正演算等方面取得了開創(chuàng)性的研究成果，提出了關(guān)于版本序列的理論，建立了錯誤修正的形式演算系統(tǒng)（R-演算），設(shè)計了描述軟件開發(fā)方法的形式語言；在我國率先倡導(dǎo)開展海量信息計算的理論與方法研究，兩次擔(dān)任國家重大基礎(chǔ)研究發(fā)展規(guī)劃（973計劃）項目的首席科學(xué)家；在國際上提出了群體軟件工程概念，凝練為新的研究方向——群體智能，被列入國家新一代人工智能發(fā)展戰(zhàn)略規(guī)劃。作為第一完成人獲國家自然科學(xué)二等獎1項、國家科技進(jìn)步二等獎1項、國家級教學(xué)成果一等獎1項，獲何梁何利基金科學(xué)與技術(shù)進(jìn)步獎、光華科技進(jìn)步一等獎、中國計算機(jī)學(xué)會最高科學(xué)技術(shù)獎、俄羅斯齊奧爾科夫斯基勛章等榮譽。
1997年當(dāng)選中國科學(xué)院院士。
（數(shù)據(jù)更新至2025年11月）
