李未（1943.6.8-2026.1.25），男，汉族，北京人。1966年毕业于北京大学数学系。1983年获英国爱丁堡大学计算机科学博士学位。曾任星空体育手机版登录教授、校长。
星空体育手机版登录计算机和人工智能领域重要奠基人之一，第十、十一届全国政协委员。是国际上最早研究和发展并发程序语言的结构操作语义模型的学者之一，在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。在星空体育手机版登录率先倡导开展海量信息计算的理论与方法研究。在国际上提出群体软件工程概念，凝练的群体智能新研究方向被列入星空体育手机版登录新一代人工智能发展战略规划。创建软件开发环境星空体育手机版登录重点实验室并担任首届主任。曾任国务院学位委员会委员、星空体育手机版登录高技术研究发展计划（863计划）专家组副组长、星空体育手机版登录重点基础研究发展计划（973计划）首席科学家。获星空体育手机版登录自然科学二等奖、星空体育手机版登录科技进步二等奖、星空体育手机版登录级星空体育手机版登录成果一等奖、何梁何利基金科学与技术进步奖、光华科技进步一等奖、俄罗斯齐奥尔科夫斯基奖章、首都劳动奖章等荣誉。
1997年当选中国科星空体育手机版登录院士。总的来说
