北京航空航天大学发布讣告称，中国共产党党员、中国科学院院士、著名计算机科学家、教育家，北京航空航天大学原校长李未同志因病医治无效，于2026年1月25日23时10分在北京逝世，享年82岁。
公开资料显示，李未1943年6月生于北京，1961年至1966年在北京大学数学力学系学习，1968年起在北京航空学院（现北京航空航天大学）从事教学科研工作，1979年加入中国共产党。
1979年至1983年赴英国爱丁堡大学深造并获计算机科学博士学位，1997年当选中国科学院院士，2002年1月至2009年5月任北京航空航天大学校长。
问题：高水平计算机基础理论与工程体系能力，是数字化发展不可或缺的“底座”。
在计算机学科持续迭代、产业需求快速更替的背景下，如何夯实基础理论、提升软件工程能力、形成面向国家重大需求的原始创新与系统集成能力，始终是我国科技界与教育界共同面对的重要课题。
作为我国计算机与智能技术领域的重要推动者之一，李未的学术探索与教育实践，集中回应了“基础理论如何落地、工程体系如何升级、人才培养如何支撑创新”的关键命题。
原因：基础研究的突破往往源于对核心难题的长期坚守。
讣告显示，李未是国际上较早研究并发展并发程序语言结构操作语义模型的学者之一，并在实用并发语言操作语义、形式理论序列与修正演算等方面取得开创性成果。
这类研究直指软件系统可靠性与可验证性的关键问题：并发系统复杂、状态爆炸、行为难以穷尽，若缺乏严格的形式化刻画，工程实践难以实现可预期的安全与稳定。
与此同时，他在国内率先倡导海量信息计算理论与方法研究，并提出“群体软件工程”概念，凝练形成的群体智能研究方向被纳入国家新一代智能发展战略规划，体现了对技术演进趋势与国家需求的敏锐把握。
影响：一是推动学科前沿与国家需求相衔接。
并发语义与形式化理论为高可信软件、关键系统安全提供基础支撑；海量信息计算与群体智能相关研究，则为面向复杂系统的协同计算与大规模软件工程组织方式提供新思路。
二是带动科研平台与创新生态建设。
讣告称，李未创建软件开发环境国家重点实验室并任首届主任，推动科研组织方式从“分散攻关”向“平台化、体系化”演进，为汇聚人才、攻克共性关键技术、服务重大工程任务提供了重要载体。
三是以教育家身份深度参与人才培养与学术治理。
他曾任国务院学位委员会委员、国家高技术研究发展计划（863计划）专家组副组长、国家重点基础研究发展计划（973计划）首席科学家等职务，体现了其在学科建设、科研组织与国家科技战略实施中的重要作用。
对策：回顾其学术与治学路径，对当前科技创新与教育改革具有启示意义。
其一，坚持以基础理论夯实工程能力。
面向关键领域的软件可信、系统安全，应进一步加强形式化方法、并发理论、软件工程基础等方向的长期布局，推动基础研究与工程验证、标准体系协同推进。
其二，强化平台牵引与开放协同。
依托国家重点实验室等平台，健全产学研用联合攻关机制，围绕共性技术、关键工具链和开发环境形成可持续投入与开放共享。
其三，完善青年人才梯队建设。
以国家战略需求为牵引，鼓励青年科研人员在核心理论与关键技术交汇处开辟新方向，建立更具连续性的支持体系与更具国际竞争力的学术评价机制，推动原创成果持续涌现。
前景：当前，新一轮科技革命和产业变革加速演进，软件定义、智能赋能、协同计算不断拓展应用边界，对基础理论、工程体系与人才供给提出更高要求。
并发计算、形式化验证、群体智能等方向仍将是影响软件可靠性、复杂系统治理与智能系统安全的重要支点。
面向未来，我国计算机学科需要在“从跟跑到并跑再到领跑”的关键阶段继续深化原始创新，既要在理论上实现可被国际同行认可的突破，也要在工程上形成可规模化落地的体系能力，把科技创新的势能转化为高质量发展的动能。
李未院士的逝世是我国科技界的重大损失，但他留下的学术遗产和精神财富将持续滋养中国计算机科学发展。
在人工智能等前沿领域激烈竞争的今天，重温这位战略科学家的学术思想，对于把握科技发展方向、培养创新型人才具有特殊价值。
正如他生前常说的："科学研究既要脚踏实地，又要仰望星空。
"这种治学态度，正是新时代科研工作者需要传承的宝贵品质。