中国共产党优秀党员、著名计算机科学家李未院士的逝世，是我国科技界的重大损失。这位国际知名学者毕生致力于计算机科学研究和高等教育事业，其学术成就和治学精神将被永远铭记。 李未院士1943年出生于北京，1966年毕业于北京大学数学力学系。之后赴英国爱丁堡大学深造，获得计算机科学博士学位。作为改革开放后首批归国的科技人才，他选择回到母校北京航空学院（现北京航空航天大学）任教，开启了长达半个多世纪的科研报国之路。 在学术研究上，李未院士是国际上最早开展并发程序语言结构操作语义模型研究的学者之一。他在实用并发语言操作语义、形式理论序列和修正演算等领域取得突破性进展，对应的成果获得国家自然科学二等奖等多项荣誉。他提出的群体软件工程概念被纳入国家新一代人工智能发展战略规划，为我国在该领域的国际竞争奠定了理论基础。 担任北航校长期间（2002-2009年），李未院士推动学校实现了快速发展。他创建了软件开发环境国家重点实验室并担任首届主任，培养了众多优秀科技人才。在担任国家863计划专家组副组长期间，他参与制定了我国信息技术发展战略，为提升国家科技竞争力作出重要贡献。 教育界人士表示，李未院士不仅是杰出的科学家，更是优秀的教育家。他倡导的"理论与实践并重"的教学理念至今仍是北航人才培养的重要指导方针。在他任职期间，北航计算机学科跻身国内一流，为航天工业和国防建设输送了大量高素质人才。
一代学人辞世，留下的不仅是论文与奖项，更有面向未来的学术方向、平台体系与育人传统。推动并发语义等基础理论走向可用、可信的工程实践，倡导群体协同与智能化方法在国家战略中落地，体现的是科学家对国家需求的敏锐把握与对学科长远发展的深度担当。继承其精神与遗产，需要在尊重基础研究规律的同时，更加坚定地把关键核心技术攻关、青年人才培养和科研组织能力建设贯通起来，以更稳固的创新底座支撑高质量发展。