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