北京航空航天大学日前发布讣告，中共党员、中国科学院院士、著名计算机科学家和教育家李未同志因病医治无效，于2026年1月25日23时10分北京逝世，享年82岁。这位在我国计算机和人工智能领域做出重要贡献的科学家的离世，是学术界的重大损失。 李未同志1943年6月出生于北京，1961年至1966年在北京大学数学力学系学习，为其后来的科研工作奠定了坚实的理论基础。1968年起，他在北京航空学院任教，开启了长达数十年的教学科研生涯。1979年至1983年，李未赴英国爱丁堡大学深造，获得计算机科学博士学位，这段国际学术交流经历使他开阔了视野，掌握了国际前沿的科研方法。1997年，他当选中国科学院院士，这是对其学术成就的最高认可。 在科学研究上，李未同志多个领域取得了开创性成果。他是国际上最早研究和发展并发程序语言结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列和修正演算诸上做出了重要贡献。在我国，他率先倡导开展海量信息计算的理论与方法研究，该前瞻性的学术方向对后来的大数据和云计算发展产生了深远影响。特别值得一提的是，李未在国际上提出了群体软件工程的概念，他所凝练的群体智能新研究方向被列入国家新一代人工智能发展战略规划，成为国家重点发展方向。他创建的软件开发环境国家重点实验室，为我国软件产业发展提供了重要的科研支撑。 李未同志曾担任国务院学位委员会委员、国家高技术研究发展计划专家组副组长、国家重点基础研究发展计划首席科学家等重要职务，在国家科技决策中发挥了关键作用。他获得了国家自然科学二等奖、国家科技进步二等奖、国家级教学成果一等奖等多项荣誉，这些奖项充分说明了他在科研和教育领域的卓越成就。 2002年1月，李未接任北京航空航天大学校长，这是他学术生涯中最为重要的阶段。他明确提出了"把北航建成国际知名的高水平研究型大学"的目标，强调"一流大学要做出历史性贡献"，要为国家战略需求服务。这一理念指导了北航在新时代的发展方向。 在李未的领导下，北航实现了学科建设的重大突破。在他任期间，学校有8个一级学科评上国家重点一级学科，并列全国高校第7名。学校科研项目和科技经费稳居全国高校前10名，人均科研经费位居全国高校前3名。国家级重点实验室从3个发展到6个，省部级实验室达到28个。2004年至2010年间，北航共获得7项国家级科技奖励一等奖，这些数字充分说明了学校科研实力的提升。 李未同志敏锐地把握了时代发展的脉搏。2008年北航划归工业和信息化部后，他提出了"培育空天信融合的新特色"的战略构想，开启了北航向以空天信融合为特色的一流大学转变的道路。这一战略决策使北航的学科优势得到了有机整合，为学校的长远发展指明了方向。 在国家重大项目中，李未同志也做出了突出贡献。2003年，他受命担任大型飞机重大专项论证专家组组长，专家组历经8个月全面深入地调研，顺利完成立项论证工作。2006年，他担任大型飞机重大专项实施方案论证委员会主任委员，以深厚的学识和战略视野提出了一批核心建议，为项目指明了关键方向。中国大飞机的腾飞之路上刻下了李未的奋斗身影，他也因此获得了国家中长期科学与技术发展规划"突出贡献奖"。 李未同志在担任北航校长期间，不仅推动了学校的学科建设和科研发展，更重要的是推动学校实现了从拓展办学规模向全面提高办学质量的转变，从培养常规型科技人才向培养创新型专业人才的转变。这些转变为北航建成国内一流、世界知名高水平研究型大学奠定了坚实基础，也为北航中国特色、世界一流大学建设做出了重要贡献。
李未院士的一生见证了中国科技事业的腾飞。作为科学家、教育家和学术领导者，他在科研创新、人才培养和学科建设等都留下了宝贵财富。他的学术精神和家国情怀将继续激励后来者，为中国科技自立自强贡献力量。