问题——新一轮科技革命和产业变革加速演进背景下，信息技术已成为大国竞争的重要基础变量。计算机科学与人工智能不仅关乎产业升级，更直接支撑国防安全、重大工程与治理能力现代化。如何在关键基础理论、核心技术与高端人才培养上形成持续优势，成为摆在科技界与高等教育面前的长期课题。李未同志的学术生涯与教育实践，正是在该时代命题下展开，其逝世引发社会各界对我国信息领域基础研究、学科布局与战略人才培养的再思考。 原因——讣告显示，李未同志1943年6月生于北京，1961年至1966年就读于北京大学数学力学系，1968年起在北京航空学院任教，1979年至1983年赴英国爱丁堡大学深造并获计算机科学博士学位，1997年当选中国科学院院士。回溯其学术脉络可见，他将严谨的数理基础与计算机系统实践相结合，聚焦并发程序语言的理论问题，在并发语言操作语义、形式理论序列与修正演算等方向形成开创性成果，并在国内较早倡导海量信息计算涉及的理论与方法研究。进入互联网与智能化浪潮兴起阶段，他又提出群体软件工程概念，推动群体智能研究方向凝练并进入国家新一代人工智能发展战略规划。学术上的持续突破，来自对基础理论“可证明、可复用、可落地”的长期追求，也反映了以国家需求牵引学科演进的鲜明取向。 影响——李未同志的贡献既体现在学术前沿的原创性探索，也体现在教育治理与重大工程论证的组织引领。其创建软件开发环境国家重点实验室并担任首届主任，为我国软件工程与相关交叉领域的科研组织形态提供重要支点；曾任国务院学位委员会委员，担任国家高技术研究发展计划（863计划）专家组副组长、国家重点基础研究发展计划（973计划）首席科学家等职务，推动科研布局与人才培养体系建设。荣誉上，他曾获国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖等多项奖励，并获何梁何利基金科学与技术进步奖、光华科技进步一等奖、俄罗斯齐奥尔科夫斯基奖章、首都劳动奖章等。 高校治理层面，2002年1月至2009年5月，李未同志任北京航空航天大学校长。他提出建设“国际知名的高水平研究型大学”的目标，强调“一流大学要做出历史性贡献”，主张高校必须面向国家战略需求配置资源、形成特色。2008年北航划归工业和信息化部后，他深入强调信息学科与航空航天学科群的协同价值，提出培育“空天信融合”的新特色，推动学校由规模扩张向质量提升、由常规型人才培养向创新型专业人才培养转变。任内学科建设与科研平台实现跃升：8个一级学科评为国家重点一级学科；科研项目与科技经费稳居全国高校前列；国家级重点实验室数量从3个发展到6个，并建成28个省部级实验室；2004年至2010年获得7项国家级科技奖励一等奖。这些举措在一定程度上体现了以优势学科牵引、以平台体系支撑、以重大任务带动的办学路径，为高校服务国家战略提供了可借鉴的实践样本。 在国家重大工程上，2003年李未同志受命担任大型飞机重大专项论证专家组组长，组织开展为期8个月的系统调研并完成立项论证；2006年又担任实施方案论证委员会主任委员，提出一批关键建议，为项目明确重点方向。他因此获得国家中长期科学与技术发展规划“突出贡献奖”。从更宏观视角看，这反映出我国重大科技工程对跨学科、跨部门的战略论证与顶层设计能力的需求，也说明高水平科学家国家重大任务推进中具有不可替代的智力组织价值。 对策——面对基础研究“深水区”和产业竞争“关键点”，从李未同志的经历可提炼出三上启示：其一，坚持基础理论与应用需求的双向牵引，既要在并发、形式化等底座领域持续投入，也要将理论转化为工程方法、系统能力与产业标准；其二，面向国家战略需求优化学科结构与科研平台布局，推动空天、信息与智能等领域交叉融合，形成可持续的创新链与人才链；其三，完善创新型人才培养机制，强化问题导向、工程导向与原创导向相统一，推动学生从“会用工具”向“提出问题、定义方法、构造系统”跃升，持续扩大高端人才供给。 前景——当前，我国正加快推进高水平科技自立自强，人工智能与计算机科学进入多学科融合、快速迭代的新阶段。并发计算、软件工程、形式化验证、群体智能等方向，既是前沿热点，也是关乎系统可靠性、可控性与安全性的基础能力。高校与科研机构若能在顶层设计、平台组织、开放协作与评价机制上进一步改革，将更有利于打通基础研究到工程落地的链条。李未同志所倡导的面向国家需求、突出特色、追求一流的理念，在新阶段仍具有现实意义，其所推动的“空天信融合”路径也将随着空天技术与智能技术深度耦合而展现更广阔的应用空间。
从北大数学系的青年才俊到战略科学家，李未院士用一生诠释了"把论文写在祖国大地上"的使命担当；他开创的理论体系仍在滋养新一代科研工作者，其倡导的空天信融合战略持续引领着北航的特色发展。这位科技巨擘的离去如同一颗星辰陨落，但其点燃的创新火种必将照亮中国迈向科技强国的征程。