李未院士文集

李未，1943年 6月出生。1966年毕 业于北京大学， 1983年获英国爱丁 堡大学计算机科学 博士学位。现为北 京航空航天大学计 算机系教授、软件 开发环境国家重点 实验室主任、中国 科学院院士、国务 院学位委员会委 员。李未在实用并 发语言语义、并发 语言的翻译理论等 方面取得了开创性 研究成果。曾获国 家自然科学二等 奖、何梁何利科技 进步奖等多项奖励。