1月26日，北京航空航天大学发布讣告：中共党员、中国科学院院士、著名计算机科学家李未同志因病医治无效，于2026年1月25日23时10分在北京逝世，享年82岁； 李未1943年6月生于北京，1961年至1966年就读于北京大学数学力学系。1968年起在北京航空学院任教，长期扎根教学一线。改革开放后，他于1979年至1983年赴英国爱丁堡大学深造，获得计算机科学博士学位，1997年当选中国科学院院士。2002年1月至2009年5月担任北京航空航天大学校长期间，推动了学科建设、科研布局与人才培养体系的完善，为学校科技创新能力和综合办学实力的提升作出重要贡献。 李未的研究贯穿了我国计算机学科从起步到走向国际前沿的关键阶段。他在国际上较早研究并发程序语言的结构操作语义模型，在实用并发语言操作语义、形式理论序列等形成开创性成果，为"如何严谨刻画并发系统行为、如何在理论层面保障程序正确性"这个基础问题提供了答案。在此基础上，他在国内率先倡导海量信息计算的理论与方法研究，为涉及的研究方向的形成与发展提供了重要牵引。 李未的贡献既体现在学术原创，也体现在平台建设和方向凝练。他创建了软件开发环境国家重点实验室并担任首届主任，促进了软件工具、方法与工程体系的协同发展。他在国际上提出群体软件工程概念，凝练了群体智能的新研究方向，该方向被列入国家新一代人工智能发展战略规划。同时，他长期参与国家科技与教育治理工作，曾任国务院学位委员会委员，担任国家高技术研究发展计划专家组副组长、国家重点基础研究发展计划首席科学家等职务。 李未曾获国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖以及何梁何利基金科学与技术进步奖、光华科技进步一等奖等荣誉，并获俄罗斯齐奥尔科夫斯基奖章、首都劳动奖章等表彰。 当前全球新一轮科技革命加速演进，计算机基础理论、系统软件与工程方法持续迭代。信息技术从单机走向网络化、从小规模走向大规模、从单一功能走向复杂系统，带来了并发、分布式、协同开发等根本性挑战。我国科技与产业发展对自主可控的基础软件和高质量工程体系提出了更高要求。李未在这些领域的研究成果，正是支撑现代计算系统可靠性、复杂性治理与产业升级的重要基础。 随着数字化、网络化、智能化深度融合，软件与计算系统正向更高并发、更大规模、更强安全与可信方向演进。并发与分布式系统的形式化理论、面向群体协作的工程方法、海量数据计算理论与工具将持续成为国际竞争的关键焦点。只有在理论创新、工程范式与人才体系上形成长期稳定投入，才能在关键领域实现持续突破。李未所开拓的研究方向与平台建设经验，将在新的科技与产业进程中持续发挥基础性、支撑性作用。
从北大数学系的青年才俊到国家科技战略的制定者，李未院士用甲子耕耘诠释了科学家精神的时代内涵。在数字经济成为全球竞争焦点的今天，他留下的学术遗产将持续滋养中国信息技术的自主创新之路。正如其生前所言："真正的核心技术必须建立在自己的理论体系之上"，这句箴言值得整个科技界铭记。