微软研究院首席研究员Leslie Lamport荣获2013年图灵奖，该奖项是计算机界最高荣誉奖项，有“计算机界的诺贝尔奖”之称，专门奖励那些对计算机事业作出重要贡献的个人。

       Leslie Lamport获奖原因是他在提升计算机系统的可靠性以及稳定性领域的杰出贡献。他使分布式计算系统看起来混乱的行为变得清晰、定义明确且具有连贯性，在该系统下，多台自主计算机之间可以相互通信。为了完善实时分布系统，Leslie Lamport专门设计了重要的算法并开发形式建模和验证协议，这些贡献提升了计算系统的性能、正确性和可靠性。

       Leslie Lamport是分布式系统领域的先锋人物，他于1941年在纽约出生，1960年毕业于麻省理工学院数学专业，1963年获得布兰迪斯大学数学硕士学位，1972年获得布兰迪斯大学数学博士学位。1982年Leslie Lamport与他人共同发表论文“拜占廷将军问题”，成为一种容错理论。1984年前后，Leslie Lamport编写了便于自己使用的宏包套件，并命名为LaTeX。1984年Leslie Lamport发表论文“分布系统中的时间、时钟和事件排序”。Leslie Lamport对计算机科学和实践都有着卓越的贡献。

       2001年Leslie Lamport进入位于加利福尼亚的微软研究院，任高级研究员，从事分布式计算机系统理论研究。2004年，由于在计算机信息处理方面的突出贡献，Leslie Lamport获得皮奥尔奖（为纪念电子学著名学者EmmanuelR.Piore而设立），同年获瑞士洛桑联邦工业大学荣誉博士。

       图灵奖年度颁奖典礼将于今年6月21日在旧金山举行，在颁奖典礼上，美国计算机协会将会为2013年图灵奖获得者颁奖，届时获奖者将获得25万美元的奖励，该奖金由英特尔和Google两家公司赞助。

文章来源：Acm                                             （文/李京京 责编/钱曙光）