北京航空航天大學(xué)1月26日發(fā)布訃告：中國共產(chǎn)黨黨員，中國科學(xué)院院士，著名計算機科學(xué)家、教育家，我國計算機和人工智能領(lǐng)域重要奠基人之一，第十、十一屆全國政協(xié)委員，北京航空航天大學(xué)原校長李未同志，因病醫(yī)治無效，于2026年1月25日23時10分在北京逝世，享年82歲。

公開信息顯示，李未同志1943年6月生于北京，1979年加入中國共產(chǎn)黨。1961年至1966年在北京大學(xué)數(shù)學(xué)力學(xué)系學(xué)習(xí)。1968年起在北京航空學(xué)院（現(xiàn)北京航空航天大學(xué)）任教。1979年至1983年赴英國愛丁堡大學(xué)學(xué)習(xí)，獲計算機科學(xué)博士學(xué)位。1997年當(dāng)選中國科學(xué)院院士。2002年1月至2009年5月任北京航空航天大學(xué)校長。

據(jù)介紹，李未同志是國際上最早研究和發(fā)展并發(fā)程序語言的結(jié)構(gòu)操作語義模型的學(xué)者之一，在實用并發(fā)語言操作語義、形式理論序列和修正演算等方面取得了開創(chuàng)性研究成果。在我國率先倡導(dǎo)開展海量信息計算的理論與方法研究。在國際上提出群體軟件工程概念，凝練的群體智能新研究方向被列入國家新一代人工智能發(fā)展戰(zhàn)略規(guī)劃。創(chuàng)建軟件開發(fā)環(huán)境國家重點實驗室并擔(dān)任首屆主任。

李未同志曾任國務(wù)院學(xué)位委員會委員、國家高技術(shù)研究發(fā)展計劃（863計劃）專家組副組長、國家重點基礎(chǔ)研究發(fā)展計劃（973計劃）首席科學(xué)家。獲國家自然科學(xué)二等獎、國家科技進步二等獎、國家級教學(xué)成果一等獎、何梁何利基金科學(xué)與技術(shù)進步獎、光華科技進步一等獎、俄羅斯齊奧爾科夫斯基獎?wù)?、首都勞動獎?wù)碌葮s譽。