微软官博今天公布，微软研究院首席研究员莱斯利·兰伯特（Leslie Lamport）荣获美国计算机协会颁发的 2013 年“图灵奖”。图灵奖是计 算机界的最高荣誉，素有“计算机诺贝尔奖”之称。该研究员让分布式计算系统看起来混乱的行为变得清晰、定义明确，而且具有连贯性。这些分布式计算系统中， 有多台自主计算机，它们相互连接传递信息。 另外美国计算机协会表示兰伯特制定了“重要的算法”，开发“形式建模和验证协议，完善了实时分布式系统的质量。这些贡献提高了计算机系统的正确率、性能以及可靠性。” 兰伯特（73）可谓是计算行业的传奇人物，他做出了许多重要的贡献，包括他在分布式计算理论的基础工作。他在 1978 年发布的论文“Time, Clocks, and the Ordering of Events in a Distributed System”被广泛援引，创下了计算机科学之最。他也是微软研究员第五位获此殊荣的研究员。
