李未，男，1943年6月生，漢族，北京人。1966年畢業(yè)于北京大學數(shù)學系，1983年獲英國愛丁堡大學計算機科學博士學位。現(xiàn)任北京航空航天大學教授，享受國務院政府特殊津貼。

在實用并發(fā)語言操作語義、形式理論序列和修正演算等方面取得了開創(chuàng)性的研究成果，提出了關于版本序列的理論，建立了錯誤修正的形式演算系統(tǒng)（R-演算），設計了描述軟件開發(fā)方法的形式語言；在我國率先倡導開展海量信息計算的理論與方法研究，兩次擔任國家重大基礎研究發(fā)展規(guī)劃（973計劃）項目的首席科學家；在國際上提出了群體軟件工程概念，凝練為新的研究方向——群體智能，被列入國家新一代人工智能發(fā)展戰(zhàn)略規(guī)劃。作為第一完成人獲國家自然科學二等獎1項、國家科技進步二等獎1項、國家級教學成果一等獎1項，獲何梁何利基金科學與技術進步獎、光華科技進步一等獎、中國計算機學會最高科學技術獎、俄羅斯齊奧爾科夫斯基勛章等榮譽。

1997年當選中國科學院院士。

（數(shù)據(jù)更新至2025年11月）