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