人物小传

李未（1943年6月8日—2026年1月25日），生于北京，计算机科学家、教育家，我国计算机和人工智能领域重要奠基人之一，中国科学院院士，北京航空航天大学计算机学院教授，2002年1月至2009年5月任校长。1966年毕业于北京大学数学力学系，1983年于英国爱丁堡大学获计算机科学博士学位。1997年当选中国科学院院士（信息技术科学部）。2026年1月25日在北京逝世，1月31日遗体送别仪式在八宝山革命公墓举行。

科研成就

李未在并发程序语言结构操作语义方面取得开创性成果，提出形式理论序列和开放逻辑（修正演算R-演算）理论，建立知识库进化的逻辑框架；他创建软件开发环境国家重点实验室并任首任主任，主持国产软件开发环境与工具研究，倡导群体软件工程方向，曾任大型飞机重大专项论证专家组组长；任北航校长期间推动了学校学科建设与教学改革。

荣誉表彰

1997年当选中国科学院院士（信息技术科学部）；曾获国家自然科学奖二等奖、国家科学技术进步奖二等奖、国家级教学成果奖一等奖及何梁何利基金科学与技术进步奖。