北京航空航天大学近日发布讣告：中国科学院院士、著名计算机科学家和教育家、我国计算机与人工智能领域的重要奠基人之一、北京航空航天大学原校长李未同志，因病医治无效，于2026年1月25日23时10分北京逝世，享年82岁。遗体送别仪式将于1月31日上午9时在八宝山殡仪馆东礼堂举行。 作为我国计算机科学及有关前沿方向的重要开拓者之一，李未同志的学术与教育生涯贯穿我国信息技术体系从起步追赶到加速发展的关键阶段。公开资料显示，李未同志1961年至1966年就读于北京大学数学力学系，1968年起在北京航空学院（现北京航空航天大学）任教；1979年至1983年赴英国爱丁堡大学学习并获计算机科学博士学位，1997年当选中国科学院院士，2002年1月至2009年5月担任北京航空航天大学校长。 问题层面看，计算机科学的发展既依赖基础理论突破，也离不开工程实践与人才体系的持续完善。上世纪后期，随着计算机系统复杂度上升，并发与分布式计算从“可选”逐步变为支撑现代软件与信息基础设施的“必需”。如何在严格的理论框架下刻画并发程序行为，如何用可验证的方法提升软件可靠性，如何在海量信息处理中形成可推广的理论与方法，成为国际学界与产业界长期关注的核心课题。 原因层面看，这些难题之所以突出，一上源于并发系统固有的状态爆炸、时序不确定和交互复杂等特征，使得依靠直觉设计和经验调试难以保证正确性；另一方面，信息规模的增长与应用场景扩展推动软件工程组织方式深刻变化，单体开发逐步让位于跨学科、跨机构协作的复杂系统工程。顺应该趋势，需要理论、方法、平台与人才培养上联合推进。 在上述问题与趋势之下，李未同志开展了多项具有代表性的探索。讣告指出，李未同志是国际上较早研究并发展并发程序语言结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列和修正演算诸上取得开创性成果。这些研究为并发程序的精确描述、推理与验证提供了更坚实的理论基础，推动软件从“能运行”走向“更可靠、可证明”。同时，他国内较早倡导海量信息计算的理论与方法研究，回应数据规模增长对计算方法、系统架构与算法体系带来的系统性挑战。 影响层面看，基础理论与方法的突破往往以更长周期、更广范围的方式影响学科与产业生态。讣告提到，李未同志在国际上提出群体软件工程概念，其凝练出的群体智能研究方向被列入国家新一代人工智能发展战略规划。这表明相关探索不仅具有学术前沿价值，也与国家战略需求紧密衔接。面向未来的信息系统建设，软件系统的复杂协作、群体行为的组织机制以及面向大规模任务的智能协同，仍将是推动科技创新与产业升级的重要支点。 对策层面看，推进高水平科技自立自强，需要“理论—工程—平台—人才”的一体化布局。讣告显示，李未同志创建软件开发环境国家重点实验室并担任首届主任，曾任国务院学位委员会委员、国家高技术研究发展计划（863计划）专家组副组长、国家重点基础研究发展计划（973计划）首席科学家等职务。相关经历也反映出我国在关键领域发展中，通过国家重大科技计划、重点实验室体系与高层次人才队伍建设组织攻关的路径。面向新阶段，仍需完善对基础研究的稳定支持机制，健全从原始创新到工程落地的转化链条，并在关键软件、基础理论、系统安全与可靠性等方向持续投入、协同攻关。 前景判断层面看，数字化、网络化、智能化加速演进，计算范式、软件形态与工程组织方式正在重构。并发与分布式系统在云计算、边缘计算、工业互联网等场景中更为普遍，对可靠性与安全性的要求也更高；面向群体协作的工程方法与智能协同研究，将在复杂系统设计、软件生产与治理等上释放更大价值。与之相适配的，是更加重视基础理论、更加注重工程体系、更加突出复合型人才培养的创新生态。如何在学科交叉中实现原创性突破、在重大需求牵引下形成可复制的技术体系，仍需要一代代科技工作者持续努力。 据讣告，李未同志曾获国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖以及何梁何利基金科学与技术进步奖等多项荣誉。长期从事科研与教育工作，他也为我国相关领域的人才培养与学科建设作出重要贡献。
李未院士的一生见证了新中国计算机科学从无到有、由弱到强的进程；他以严谨的治学态度与前瞻视野，为我国在全球信息技术竞争中提升学术影响力和技术能力作出贡献。在加快建设科技强国的今天，追忆这位科学先驱的足迹，不只是对其学术成就的缅怀，也是一种面向未来的激励，提醒新一代科研工作者在关键领域持续攻坚、接续前行。