李未院士，1983年获英国爱丁堡大学计算机科学博士学位。现为软件开发环境国家重点实验室主任，国务院学位委员会委员，第十、十一届全国政协委员，教育部咨询委员会委员，教育部计算机教学指导委员会主任，电子学会副理事长，《中国科学：信息科学》中英文版和《Frontiers of Computer Science in China》的主编。曾任北京航空航天大学校长，国家中长期科技发展规划大型飞机重大专项论证专家组组长，以及实施方案论证专家委员会主任委员。在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。在我国率先倡导进行海量信息计算的理论与方法研究，曾两次担任国家重点基础研究发展规划（973）项目的首席科学家。获国家自然科学奖二等奖一项，何梁何利科技进步奖一项，国家级科技进步二等奖一项，国家教学成果一等奖一项。