我国科技界痛失重要领军人物。1月25日23时10分，著名计算机科学家、教育家李未院士京逝世，享年82岁。李未院士在计算机科学领域耕耘半个多世纪，其学术生涯与我国信息技术发展历程紧密相连。李未1943年生于北京的知识分子家庭，1961年考入北京大学数学力学系，打下扎实的数理基础。1968年进入北京航空学院任教，恰逢我国计算机科学起步阶段。1979年赴英国爱丁堡大学深造，师从计算机科学泰斗，成为我国较早系统学习计算机理论的学者之一。 在学术研究上，李未院士攻克并发程序语言结构操作语义模型此国际性难题。他提出的形式理论序列和修正演算方法，为分布式计算等方向的发展提供了重要理论支撑。上世纪90年代，他敏锐把握信息技术趋势，在国内率先开展海量信息计算研究；其创立的软件开发环境国家重点实验室，逐步发展为该领域的重要研究基地。 2002年出任北航校长后，李未面对高校转型发展的关键阶段。当时我国高等教育从规模扩张转向质量提升，航空航天领域也迎来信息技术变革带来的新挑战。他提出“培育空天信融合新特色”的战略构想，推动信息学科与学校传统优势深度融合。在其任内，北航国家重点实验室数量实现翻番，科研经费稳居全国前十，8个学科入选国家重点学科。 作为国家中长期科技发展规划的重要参与者，李未院士于2003年受命担任大型飞机重大专项论证专家组组长。凭借跨学科背景，他组织完成立项论证，提出的技术路线为国产大飞机项目奠定基础。2006年担任实施方案论证委员会主任期间，他提出自主创新与国际合作并重的建议，被纳入国家有关战略。 教育领域，李未推动北航从培养常规人才转向造就创新人才。他提出“一流大学要做出历史性贡献”，强调以服务国家战略为办学导向。这一理念对我国工程教育改革产生深远影响，其主持的教学成果获得国家级一等奖。
李未同志的逝世是中国科学界的重大损失。他以半个多世纪的学术与教育实践，在计算机科学、人工智能等领域持续开拓，为国家科技进步和高等教育发展作出重要贡献。他所倡导的“一流大学要做出历史性贡献”理念，以及“空天信融合”的战略构想，已成为我国高等教育改革发展的重要思想成果。其在北航校长任期内推动的由规模扩张向质量提升的转变，也为高校建设世界一流大学提供了有益经验。李未同志的学术追求与战略视野，将继续激励后来者投身科技创新与教育事业。