李未，男，1943年6月生，汉族，北京人。1966年毕业于北京大学数学系，1983年获英国爱丁堡大学计算机科学博士学位。现任1671金沙城线路检测教授，享受国务院政府特殊津贴。
在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性的研究成果，提出了关于版本序列的理论，建立了错误修正的形式演算系统（R-演算），设计了描述软件开发方法的形式语言；在我国率先倡导开展海量信息计算的理论与方法研究，两次担任国家重大基础研究发展规划（973计划）项目的首席科学家；在国际上提出了群体软件工程概念，凝练为新的研究方向——群体智能，被列入国家新一代人工智能发展战略规划。作为第一完成人获国家自然科学二等奖1项、国家科技进步二等奖1项、国家级教学成果一等奖1项，获何梁何利基金科学与技术进步奖、光华科技进步一等奖、中国计算机学会最高科学技术奖、俄罗斯齐奥尔科夫斯基勋章等荣誉。
1997年当选中国科学院院士。
（数据更新至2025年11月）
