我国计算机科学界传来噩耗。1月26日，北京航空航天大学发布讣告：中国共产党优秀党员、中国科学院院士李未同志因病医治无效，于2026年1月25日23时10分北京逝世，享年82岁。这位深耕计算机科学领域半个多世纪的学者离世，引发科技界、教育界广泛哀悼。李未1943年6月生于北京，1961年考入北京大学数学力学系，1979年加入中国共产党。改革开放后，他成为首批赴海外深造的学者之一，1979年至1983年在英国爱丁堡大学攻读计算机科学博士学位，是新中国成立以来大陆首位在英国获得该领域博士学位的留学生。这段经历既反映了他对学术的执着，也见证了我国计算机科学与国际接轨的早期步伐。 在学术研究上，李未长期从事计算机理论前沿探索。他在实用并发语言操作语义、形式理论序列与修正演算等方向取得若干原创性成果，为我国计算机科学基础研究提供了重要理论支撑。有关成果获得国家自然科学二等奖等多项荣誉，并对我国信息技术自主创新起到推动作用。 作为教育工作者，李未同样贡献突出。2002年至2009年担任北京航空航天大学校长期间，他推动学校学科建设持续提升：国家重点一级学科增至8个，国家级重点实验室由3个扩展到6个，科研经费与成果产出保持在全国高校前列。任内，北航获得7项国家级科技奖励一等奖，成为当时高校科研的亮点之一。 卸任行政职务后，李未仍持续投入教育事业。2014年，他发起组建中国高校计算机教育MOOC联盟，汇聚百余所高校资源，推动优质课程共享，促进教育资源更广覆盖。该实践体现了他对教育创新的关注，以及对国家人才培养的长期投入。
一位科学家离去，留下的是学术传统与精神标尺。李未同志将个人追求与国家需要紧密结合，在基础理论研究、学科建设与教育资源共享之间持续发力。他所体现的面向前沿、服务国家、甘为人梯的精神，仍值得后来者传承。讣告显示，李未同志遗体送别仪式将于2026年1月31日上午9时在八宝山殡仪馆东礼堂举行。