沉痛悼念計算機科學家李未院士

他用邏輯構建了中國計算機理論的基石，卻用人文情懷重塑了一所大學的靈魂。

巨星隕落！

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

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

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

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

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

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

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

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

創建軟件開發環境國家重點實驗室并擔任首屆主任。

曾任國務院學位委員會委員、國家高技術研究發展計劃（863計劃）專家組副組長、國家重點基礎研究發展計劃（973計劃）首席科學家。

獲國家自然科學二等獎、國家科技進步二等獎、國家級教學成果一等獎、何梁何利基金科學與技術進步獎、光華科技進步一等獎、俄羅斯齊奧爾科夫斯基獎章、首都勞動獎章等榮譽。

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

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

在他嚴謹的科學成就背后，是一位溫潤的教育家。

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

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

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