沉痛悼念计算机科学家李未院士

他用逻辑构建了中国计算机理论的基石，却用人文情怀重塑了一所大学的灵魂。

巨星陨落！

作为新中国第一位海归计算机博士，中国计算机理论的拓荒者，李未院士不仅在并发理论、群体智能等领域开疆拓土，更在北航的岗位上，一手推动了学校向研究型大学的华丽转身。他的离去，带走了一个时代的背影。

中国计算机学会会士、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-演算系统和版本序列理论，提出非结构化数据的四面体模型，建立了互联网群体智能的理论框架，对计算机学科建设和计算机教育质量提升做出的杰出贡献。

李未同志的逝世，是国际信息科学界和我国高等教育事业的重大损失。

在他严谨的科学成就背后，是一位温润的教育家。

北大教授陈平原曾回忆与李未校长的长安街夜话，感叹这位理工科校长深厚的人文情怀。

他常说「本科是大学之本」，坚持「教授治学」，用七年时间为北航注入了自由与创新的灵魂。

斯人已逝，但他点亮的科学与教育之光，将长久照耀后来者前行的路。