李未(1943.6.8-2026.1.25),男,漢族,北京人。1966年畢業(yè)于北京大學數(shù)學系,1983年獲英國愛丁堡大學計算機科學博士學位。曾任北京航空航天大學教授、校長。
我國計算機和人工智能領域重要奠基人之一,第十、十一屆全國政協(xié)委員。是國際上最早研究和發(fā)展并發(fā)程序語言的結(jié)構(gòu)操作語義模型的學者之一,在實用并發(fā)語言操作語義、形式理論序列和修正演算等方面取得了開創(chuàng)性研究成果。在我國率先倡導開展海量信息計算的理論與方法研究。在國際上提出群體軟件工程概念,凝練的群體智能新研究方向被列入國家新一代人工智能發(fā)展戰(zhàn)略規(guī)劃。創(chuàng)建軟件開發(fā)環(huán)境國家重點實驗室并擔任首屆主任。曾任國務院學位委員會委員、國家高技術(shù)研究發(fā)展計劃(863計劃)專家組副組長、國家重點基礎研究發(fā)展計劃(973計劃)首席科學家。獲國家自然科學二等獎、國家科技進步二等獎、國家級教學成果一等獎、何梁何利基金科學與技術(shù)進步獎、光華科技進步一等獎、俄羅斯齊奧爾科夫斯基獎章、首都勞動獎章等榮譽。
1997年當選中國科學院院士。