李未（1943.6.8-2026.1.25）， ，，，，，男， ，，，，，汉族， ，，，，，北京人。 。。。。。1966年结业于北京大学数学系， ，，，，，1983年获英国爱丁堡大学盘算机科学博士学位。 。。。。。曾任利来老牌国际官网app教授、校长。 。。。。。
我国盘算机和人工智能领域主要涤讪人之一， ，，，，，第十、十一届天下政协委员。 。。。。。是国际上最早研究和生长并发程序语言的结构操作语义模子的学者之一， ，，，，，在适用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究效果。 。。。。。在我国率先提倡开展海量信息盘算的理论与要领研究。 。。。。。在国际上提出群体软件工程看法， ，，，，，凝练的群体智能新研究偏向被列入国家新一代人工智能生长战略妄想。 。。。。。建设软件开发情形国家重点实验室并担当首届主任。 。。。。。曾任国务院学位委员会委员、国家高手艺研究生长妄想（863妄想）专家组副组长、国家重点基础研究生长妄想（973妄想）首席科学家。 。。。。；；；；；窆易匀豢蒲Ф等奖、国家科技前进二等奖、国家级教学效果一等奖、何梁何利基金科学与手艺前进奖、光华科技前进一等奖、俄罗斯齐奥尔科夫斯基奖章、首都劳动奖章等声誉。 。。。。。
1997年中选中国科学院院士。 。。。。。
