李未院士逝世

　　本报北京3月17日电 中国共产党党员、中国科学院院士、计算机科学家、北京航空航天大学原校长李未同志，因病医治无效，于2026年1月25日在北京逝世，享年82岁。

　　李未1943年6月生于北京。1961年至1966年在北京大学数学力学系学习。1968年起在北京航空学院（今北京航空航天大学）任教。1979年加入中国共产党。1979年至1983年赴英国爱丁堡大学学习，获计算机科学博士学位。2002年1月至2009年5月任北京航空航天大学校长。曾当选中国人民政治协商会议第十、第十一届全国委员会委员，第七届中国科学院学部主席团成员，中国科学院信息技术科学部第十五届常务委员会主任。1997年当选中国科学院院士。

　　李未是我国计算机和人工智能领域的重要奠基人之一，在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性成果。作为北航校长，他积极培育学校空天信融合的新特色，推动北航实现由行业性大学向国际知名高水平研究型大学的转变，培养了大批领军人才。他先后受命担任国家大型飞机重大专项论证专家组组长、实施方案论证委员会主任，为重大专项立项和实施作出突出贡献。曾获国家自然科学奖二等奖、国家科学技术进步奖二等奖、国家级教学成果奖一等奖。