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