李未，1943年6月出生，汉族，北京人。1966年获北京大学数学士学位，1983年获英国爱丁堡大学计算机科学博士学位，1968年起在北航任教，1997年当选中国科学院院士，北航计算机学院教授。2002年1月至2009年5月任北京航空航天大学校长，曾任第二至六届国务院学位委员会委员，国家中长期科学和技术发展规划大型飞机重大专项论证专家组组长和实施方案论证专家委员会主任委员，国家新一代人工智能战略咨询委员会委员，软件开发环境国家重点实验室主任，《中国科学：信息科学》中英文版主编，《Frontiers of Computer Science》创刊主编，国家科技图书文献中心理事长，中国电子学会副理事长等职务。

在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性的研究成果，提出了关于版本序列的理论，建立了错误修正的形式演算系统（R-演算），设计了描述软件开发方法的形式语言；在我国率先倡导开展海量信息计算的理论与方法研究，并两次担任国家重大基础研究发展规划（973）项目的首席科学家；在国际上提出了群体软件工程概念，凝练为新的研究方向——群体智能，被列入国家新一代人工智能发展战略规划。发表SCI论文百余篇，出版中英文专著6部，获国家自然科学二等奖、国家科技进步二等奖、国家教学成果一等奖（均排第1）和何梁何利科技进步奖、光华科技进步一等奖、中国计算机学会最高科学技术奖、俄罗斯齐奥尔科夫斯基勋章等奖励。