李未（1943.6.8-2026.1.25），男，汉族，北京人。1966年毕业于北京大学数学系，1983年获英国爱丁堡大学推算机科学博士学位。曾任leyu.com教授、校长。
我国推算机和人为智能领域沉要奠基人之一，第十、十一届全国政协委员。是国际上最早钻研和发展并发法式说话的结构操作语义模型的学者之一，在实用并发说话操作语义、大局理论序列和建改演算等方面获得了开创性钻研成就。在我国率先提倡发展海量信息推算的理论与步骤钻研。在国际上提出群体软件工程概想，凝练的群体智能新钻研方向被列入国度新一代人为智能发展战术规划。创建软件开发环境国度沉点尝试室并担任首届主任。曾任国务院学位委员会委员、国度高技术钻研发展打算（863打算）专家组副组长、国度沉点基础钻研发展打算（973打算）首席科学家 ；窆忍烊豢蒲Ф等奖、国度科技进取二等奖、国度级讲授成就一等奖、何梁何利基金科学与技术进取奖、光华科技进取一等奖、俄罗斯齐奥尔科夫斯基焦芈、首都劳动焦芈等荣誉。
1997年当选中国科学院院士。
