北京航空航天大学1月26日发布讣告，我国杰出的计算机科学家、教育家李未院士因病医治无效，于1月25日23时10分北京逝世，享年82岁。这是我国科技教育界的重大损失。 李未同志1943年6月出生于北京，是新中国培养的一代科学家的杰出代表。他于1961年至1966年在北京大学数学力学系学习，打下了坚实的理论基础。1968年起在北京航空学院任教，开启了长达数十年的学术生涯。为了拓展国际视野、深化专业研究，他于1979年至1983年赴英国爱丁堡大学学习，获得计算机科学博士学位，成为改革开放初期赴海外深造的优秀学者之一。1997年，李未当选中国科学院院士，这是对其学术成就的最高认可。 在科学研究上，李未同志是国际上最早研究和发展并发程序语言结构操作语义模型的学者之一。他实用并发语言操作语义、形式理论序列和修正演算等领域取得了开创性研究成果，为现代计算机科学的发展奠定了重要基础。在国内，他率先倡导开展海量信息计算的理论与方法研究，该前瞻性的学术方向对我国信息技术产业的发展产生了深远影响。特别值得关注的是，李未同志在国际上提出了群体软件工程的创新概念，他所凝练的群体智能新研究方向被列入国家新一代人工智能发展战略规划，表明了其学术思想的战略价值。 在学科建设和制度创新上，李未同志创建了软件开发环境国家重点实验室，并担任首届主任，为我国软件科学的学科体系建设做出了重要贡献。他曾任国务院学位委员会委员、国家高技术研究发展计划专家组副组长、国家重点基础研究发展计划首席科学家等重要职务，在国家科技决策中发挥了关键作用。 2002年1月至2009年5月，李未同志担任北京航空航天大学校长，这是他学术生涯中最为重要的阶段。在他的领导下，学校在学科建设、人才培养、科学研究各上取得了显著进展，为我国航空航天和信息技术领域培养了大批优秀人才。他还担任第十、十一届全国政协委员，积极参与国家重大决策的咨询论证工作。 李未同志的学术成就得到了国家和国际社会的广泛认可。他获得了国家自然科学奖二等奖、国家科技进步奖二等奖、国家级教学成果一等奖、何梁何利基金科学与技术进步奖、光华科技进步一等奖等多项荣誉，还获得了俄罗斯齐奥尔科夫斯基奖章和首都劳动奖章，充分体现了他在科学研究和教育事业中的卓越贡献。
一位科学家的离去，留下的不只是成果与荣誉，更留下了面向国家需求、长期深耕的治学精神与育人传统。把个人追求融入时代发展，把基础研究做深做实，把人才培养放在核心位置，正是科技事业持续向前的重要支撑。化追思为行动，在传承中不断开拓，才能在更高起点上推动科技创新与高等教育高质量发展。