李未院士文集

李未，1943年

6月出生。1966年毕

业于北京大学，

1983年获英国爱丁

堡大学计算机科学

博士学位。现为北

京航空航天大学计

算机系教授、软件

开发环境国家重点

实验室主任、中国

科学院院士、国务

院学位委员会委

员。李未在实用并

发语言语义、并发

语言的翻译理论等

方面取得了开创性

研究成果。曾获国

家自然科学二等

奖、何梁何利科技

进步奖等多项奖励。