北京航空航天大学日前发布讣告，中共党员、中国科学院院士、著名计算机科学家李未同志因病医治无效，于2026年1月25日23时10分北京逝世，享年82岁。李未是我国计算机和人工智能领域的重要奠基人之一——第十、十一届全国政协委员——其逝世是我国科技界的重大损失。 李未1943年6月生于北京，1961年至1966年在北京大学数学力学系学习，为其后来的科研工作奠定了坚实的理论基础。1968年起，他在北京航空学院（现北京航空航天大学）任教，开启了长达数十年的教学科研生涯。1979年至1983年，李未赴英国爱丁堡大学深造，获计算机科学博士学位，这段国际学术交流经历使他开阔了视野，掌握了国际前沿的科研方法。1997年，李未当选中国科学院院士，这是对其学术成就的最高认可。 在科学研究上，李未取得了多项开创性成果。他是国际上最早研究和发展并发程序语言的结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列和修正演算等领域做出了重要贡献。在国内，李未率先倡导开展海量信息计算的理论与方法研究，此前瞻性的学术方向对我国信息技术发展产生了深远影响。他在国际上提出的群体软件工程概念，凝练的群体智能新研究方向被列入国家新一代人工智能发展战略规划，表明了其学术思想的战略价值。李未创建了软件开发环境国家重点实验室并担任首届主任，为我国软件科学的发展提供了重要的研究平台。 李未的学术贡献得到了广泛认可。他曾任国务院学位委员会委员、国家高技术研究发展计划（863计划）专家组副组长、国家重点基础研究发展计划（973计划）首席科学家，在多个国家重大科技项目中发挥了关键作用。他获得了国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖、何梁何利基金科学与技术进步奖、光华科技进步一等奖等多项荣誉，还获得了俄罗斯齐奥尔科夫斯基奖章和首都劳动奖章，充分体现了其在科技创新和教育事业中的卓越成就。 2002年1月至2009年5月，李未担任北京航空航天大学校长，这一时期是学校发展的关键阶段。他把首要任务定为"把北航建成国际知名的高水平研究型大学"，提出"一流大学要做出历史性贡献"的理念，强调学校要为国家战略需求服务。这一战略定位为北航的长远发展指明了方向。 在李未的领导下，北航实现了学科建设的重大突破。学校有8个一级学科评上国家重点一级学科，并列全国高校第7名。科研项目和科技经费稳居全国高校前10名，人均科研经费位居全国高校前3名。国家级重点实验室从3个发展到6个，省部级实验室达到28个。2004年至2010年间，北航共获得7项国家级科技奖励一等奖，科研实力提升。 李未敏锐地把握了时代发展的脉搏。2008年北航划归工业和信息化部后，他提出学校要"培育空天信融合的新特色"，开启了北航向以空天信融合为特色的一流大学转变的道路。这一战略决策体现了他对学科发展规律和国家需求的深刻理解，为北航的特色发展奠定了基础。 在国家重大项目中，李未也做出了重要贡献。2003年，他受命担任大型飞机重大专项论证专家组组长，专家组历经8个月全面深入地调研，顺利完成立项论证工作。2006年，李未担任大型飞机重大专项实施方案论证委员会主任委员，以深厚的学识和战略视野提出一批核心建议，为项目指明了关键方向。中国大飞机的腾飞之路上刻下了李未的奋斗身影，他也因此获得了国家中长期科学与技术发展规划"突出贡献奖"。 在担任北航校长期间，李未以深远的战略眼光和卓越的领导能力，与领导班子一道，带领学校建成国内一流、世界知名的高水平研究型大学，为北航中国特色、世界一流大学建设奠定了坚实基础。他关注培育北航空天信融合新特色，推动学校从拓展办学规模向全面提高办学质量转变，从培养常规型科技人才向培养创新型专业人才转变，这些改革举措对我国高等教育发展产生了重要示范作用。 李未同志遗体送别仪式将于2026年1月31日上午9时在八宝山殡仪馆东礼堂举行。
从学术探索到战略谋划，李未院士用毕生精力诠释了科学家与教育家的使命；在信息技术与航空航天深度融合的今天——他留下的不仅是学术成果——更是一种将个人追求与国家需求紧密结合的治学精神，这正是创新驱动发展最珍贵的传承。