李未， （1943年6月8日—），计算机专家，中国科学院院士，主要从事并发程序语言的结构操作语义方法、翻译理论和实现技术研究。北京人。1961年-1965年，李未就读于北京大学数学力学系。1965年-1968年，李未就读于北京大学数学力学系，获硕士学位。1968年-1979年，李未先后担任北京航空学院基础部、计算中心教师。1979年-1983年，李未就读于英国爱丁堡大学，获计算机科学博士学位。1983年-1986年，李未任北京航空学院计算机系讲师。1986年，李未任北京航空航天大学计算机学院教授、博士研究生导师。1997年，李未当选中国科学院院士。同年，李未获光华科技一等奖、何梁何利科技进步奖。2002年-2009年，李未任北京航空航天大学校长。2004年，李未主持研制的基础设施网络管理系统软件生产平台获得2004年度国家科技进步二等奖。2007年，李未获俄罗斯国家航天局授予的齐奥尔科夫斯基勋章。2018年，李未当选欧洲科学院外籍院士。同年，李未获科学中国人（2017）年度人物杰出大学校长奖。2024年，李未荣获2023年“CCF最高科学技术奖”。