李未

人物小传

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

科研成就

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

荣誉表彰

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

获奖记录

2010年获国家科学技术进步奖（二等奖）——云计算技术与应用 　项目完成人：李未、怀进鹏、廖湘科、王怀民、梅宏、杨芙清、吕建、周立柱、马殿富、刘勤 2004年获国家科学技术进步奖（二等奖）——基础设施信息网络管理系统生产平台技术 　项目完成人：李未、吕卫锋、周刚、周冰、夏寅贲、徐莹、周珊、高欣、康建初 　主要完成单位：郎昕培 北京航空航天大学 　推荐单位：教育部

资料来源

https://www.most.gov.cn/cxfw/kjjlcx/kjjl2004/200802/t20080214_59054.html

资料来源

国家科学技术奖获奖名单（本站依据科技部官方公告登记）