痛别！我国著名计算机科学家李未院士逝世

北京航空航天大学发布讣告，中国共产党党员，中国科学院院士，著名计算机科学家、教育家，我国计算机和人工智能领域重要奠基人之一，第十、十一届全国政协委员，北京航空航天大学原校长李未同志，因病医治无效，于2026年1月25日23时10分在北京逝世，享年82岁。

李未同志1943年6月生于北京，1979年加入中国共产党。1961年至1966年在北京大学数学力学系学习。1968年起在北京航空学院（现北京航空航天大学）任教。1979年至1983年赴英国爱丁堡大学学习，获计算机科学博士学位。1997年当选中国科学院院士。2002年1月至2009年5月任北京航空航天大学校长。

讣告提到，李未同志是国际上最早研究和发展并发程序语言的结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。在我国率先倡导开展海量信息计算的理论与方法研究。在国际上提出群体软件工程概念，凝练的群体智能新研究方向被列入国家新一代人工智能发展战略规划。创建软件开发环境国家重点实验室并担任首届主任。曾任国务院学位委员会委员、国家高技术研究发展计划（863计划）专家组副组长、国家重点基础研究发展计划（973计划）首席科学家。获国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖、何梁何利基金科学与技术进步奖、光华科技进步一等奖、俄罗斯齐奥尔科夫斯基奖章、首都劳动奖章等荣誉。

2002年，李未接过北京航空航天大学校长的重任。他把自己的首要任务定为“和北航领导班子以及全校师生一起，把北航建成国际知名的高水平研究型大学”，提出“一流大学要做出历史性贡献”，要为国家战略需求服务。2008年，北航划归工业和信息化部。李未在当年的暑期工作会上说：“学校有关信息科学与技术的学科，经过半个多世纪的发展，已经成为学校强势学科，实力进入全国高校第一方阵。它们与航空航天学科群一样，是学校服务工业与信息化融合的战略性资本。”他敏锐地指出，学校要“培育空天信融合的新特色”，开启了北航向以空天信融合为特色的一流大学转变的道路。

他在任期间，北航有8个一级学科评上国家重点一级学科，并列全国高校第7名。学校科研项目和科技经费稳居全国高校前10名，人均科研经费位居全国高校前3名，从3个国家级重点实验室发展到6个国家级重点实验室、28个省部级实验室。2004年-2010年，北航共获得7项国家级科技奖励一等奖。

2003年，李未受命担任大型飞机重大专项论证专家组组长。专家组历经8个月全面深入地调研，顺利完成立项论证工作。2006年，李未担任大型飞机重大专项实施方案论证委员会主任委员，他以深厚的学识和战略视野提出一批核心建议，为项目指明了关键方向。中国大飞机的腾飞之路上刻下了李未的奋斗身影，他也获得了国家中长期科学与技术发展规划“突出贡献奖”。

讣告指出，李未同志担任北京航空航天大学校长期间，以深远的战略眼光和卓越的领导能力，与领导班子一道，带领学校建成国内一流、世界知名高水平研究型大学，为北航中国特色、世界一流大学建设奠定坚实基础。他高度重视培育北航空天信融合新特色，推动学校从拓展办学规模向全面提高办学质量转变，从培养常规型科技人才向培养创新型专业人才转变。

李未同志遗体送别仪式将于2026年1月31日上午9时在八宝山殡仪馆东礼堂举行。