问题：一位长期基础理论与工程实践两端耕耘、兼具学术引领与教育管理经验的科学家离世，引发学界与教育界对我国计算机学科发展路径、关键技术攻关体系以及高层次人才培养规律的再思考；李未同志的逝世，不仅是学术共同体的重大损失，也再次提醒社会持续关注基础研究的长期积累、重大平台的建设以及青年人才的成长环境。 原因：从公开信息看，李未同志1943年6月生于北京。1961年至1966年在北京大学数学力学系学习，打下扎实的数学功底；1968年起在北京航空学院任教，长期在高校一线工作；1979年至1983年赴英国爱丁堡大学深造，获计算机科学博士学位，接受了系统的国际学术训练。他的研究方向从并发程序语言的结构操作语义模型，到形式化理论体系，再到面向海量信息计算的方法研究，既出于个人的学术兴趣，也回应了我国信息化建设与工业体系升级的现实需求。1997年当选中国科学院院士；2002年1月至2009年5月任北京航空航天大学校长，形成了“以基础理论支撑工程应用、以平台带动学科协同”的工作取向。近些年，全球科技革命和产业变革加速推进，软件工程与群体智能等领域成为国际竞争焦点，李未提出并推动对应的理念与研究布局，说明了对发展趋势的敏锐判断。 影响：在学术层面，李未同志是国际上较早研究并发展并发程序语言结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列与修正演算等取得开创性成果，为软件可靠性与复杂系统验证等研究提供了重要理论支撑。在方法论层面，他较早倡导开展海量信息计算的理论与方法研究，推动数据规模与计算范式变化背景下的学科升级。在工程与组织层面，他创建软件开发环境国家重点实验室并担任首届主任，推动关键科研平台建设与成果转化机制完善。另外，他曾任国务院学位委员会委员，参与国家高技术研究发展计划（863计划）和国家重点基础研究发展计划（973计划）等重大科技任务的组织工作，在科研布局、学科评估与人才培养制度建设上发挥了重要作用。他曾获得国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖等多项荣誉，体现了基础研究、技术创新与教育教学的协同成效。对高校而言，李未担任北航校长期间推进学科建设与人才培养机制改革，为学校综合实力提升以及一批优势学科的形成提供了支撑。 对策：面向未来，我国计算机科学与软件工程的发展需要在总结前辈经验基础上更夯实“三个关键”。一是坚持基础理论与关键方法攻关并重，围绕并发与分布式系统可信性、复杂软件工程化、形式化验证等方向持续投入，避免“重应用轻根基”的短期化倾向。二是强化国家级平台与重大任务的牵引作用，完善跨学科协同机制，让理论、工具与工程体系形成闭环，提升科研组织化水平与成果可用性。三是把人才培养放在更突出位置，推动课程体系与科研训练深度衔接，形成从本科到研究生再到青年学者的稳定成长通道，既重视原创能力，也强调面向国家需求的工程实践能力。同时，还应优化评价体系，鼓励长期研究与高风险高价值探索，促进更多具有原始创新潜力的成果出现。 前景：随着数字经济深入发展，产业智能化与网络化程度持续提高，软件与计算体系的复杂性不断上升，对可靠性、安全性与可验证性的要求更加迫切。并发程序语言、形式化方法、海量信息计算、群体软件工程与群体智能等方向仍将处于持续演进与交叉融合的前沿。可以预见，在国家战略需求牵引与科研体制机制持续完善的背景下，我国相关领域有望在基础理论突破、核心工具链构建以及重大工程体系化能力上取得新的进展。李未等一代科学家所倡导的“理论牵引、平台支撑、人才为本”的路径，仍将为学科发展提供重要借鉴。
李未同志的逝世是我国科学技术界的重大损失；他以深厚的学术积累和前瞻的科学视野，为我国计算机科学和人工智能领域的发展作出了开创性贡献。他所倡导的学术理念、所建设的研究平台、所培养的学术团队，将继续在我国科技创新中发挥作用。他留下的学术成果与精神财富，也将激励更多科研工作者面向计算机科学前沿持续探索，为国家科技进步与民族复兴贡献力量。