新智元報道

編輯：定慧

【新智元導(dǎo)讀】他用邏輯構(gòu)建了中國計算機理論的基石，卻用人文情懷重塑了一所大學(xué)的靈魂。

巨星隕落！

作為新中國第一位海歸計算機博士，中國計算機理論的拓荒者，李未院士不僅在并發(fā)理論、群體智能等領(lǐng)域開疆拓土，更在北航的崗位上，一手推動了學(xué)校向研究型大學(xué)的華麗轉(zhuǎn)身。他的離去，帶走了一個時代的背影。

中國計算機學(xué)會會士、2023年「CCF最高科學(xué)技術(shù)獎」獲得者，中國科學(xué)院院士，著名計算機科學(xué)家、教育家，我國計算機和人工智能領(lǐng)域重要奠基人之一，第十、十一屆全國政協(xié)委員，北京航空航天大學(xué)原校長李未同志，因病醫(yī)治無效，于2026年1月25日23時10分在北京逝世，享年82歲。

李未同志1943年6月生于北京，1961年至1966年在北京大學(xué)數(shù)學(xué)力學(xué)系學(xué)習，1979年至1983年赴英國愛丁堡大學(xué)學(xué)習，獲計算機科學(xué)博士學(xué)位。

1997年當選中國科學(xué)院院士。

2002年1月至2009年5月任北京航空航天大學(xué)校長。

李未同志是國際上最早研究和發(fā)展并發(fā)程序語言的結(jié)構(gòu)操作語義模型的學(xué)者之一，在實用并發(fā)語言操作語義、形式理論序列和修正演算等方面取得了開創(chuàng)性研究成果。

在我國率先倡導(dǎo)開展海量信息計算的理論與方法研究。

在國際上提出群體軟件工程概念，凝練的群體智能新研究方向被列入國家新一代人工智能發(fā)展戰(zhàn)略規(guī)劃。

創(chuàng)建軟件開發(fā)環(huán)境國家重點實驗室并擔任首屆主任。

曾任國務(wù)院學(xué)位委員會委員、國家高技術(shù)研究發(fā)展計劃（863計劃）專家組副組長、國家重點基礎(chǔ)研究發(fā)展計劃（973計劃）首席科學(xué)家。

獲國家自然科學(xué)二等獎、國家科技進步二等獎、國家級教學(xué)成果一等獎、何梁何利基金科學(xué)與技術(shù)進步獎、光華科技進步一等獎、俄羅斯齊奧爾科夫斯基獎?wù)�、首都勞動獎�(wù)碌葮s譽。

李未同志曾擔任CCF第七屆理事會（2000.4-2004.4）常務(wù)理事，2023年CCF授予他「CCF最高科學(xué)技術(shù)獎」，表彰他建立了并發(fā)語言的翻譯與變換理論，給出對錯誤進行修正的R-演算系統(tǒng)和版本序列理論，提出非結(jié)構(gòu)化數(shù)據(jù)的四面體模型，建立了互聯(lián)網(wǎng)群體智能的理論框架，對計算機學(xué)科建設(shè)和計算機教育質(zhì)量提升做出的杰出貢獻。

李未同志的逝世，是國際信息科學(xué)界和我國高等教育事業(yè)的重大損失。

在他嚴謹?shù)目茖W(xué)成就背后，是一位溫潤的教育家。

北大教授陳平原曾回憶與李未校長的長安街夜話，感嘆這位理工科校長深厚的人文情懷。

他常說「本科是大學(xué)之本」，堅持「教授治學(xué)」，用七年時間為北航注入了自由與創(chuàng)新的靈魂。

斯人已逝，但他點亮的科學(xué)與教育之光，將長久照耀后來者前行的路。

參考資料：

https://www.ccf.org.cn/Media_list/ccf/2026-01-27/859627.shtml