莱斯利·兰伯特（Leslie Lamport）

生平

Leslie Lamport 生于 1941 年，美国计算机科学家，先后任职于 SRI、DEC/Compaq 研究院，2001 年加入微软研究院，2013 年因对分布式与并发系统理论的奠基性贡献获图灵奖。

主要贡献

他 1978 年的论文《Time, Clocks, and the Ordering of Events in a Distributed System》提出逻辑时钟与事件偏序，是分布式系统被引最多的论文之一；与 Shostak、Pease 提出拜占庭将军问题；以"兼职议会"寓言提出 Paxos 算法；定义了顺序一致性、提出面包房互斥算法；设计了形式化规约语言 TLA+。

其他

Lamport 也是排版系统 LaTeX 的作者，将 TeX 封装为面向普通作者的文档系统。其工作横跨理论与工程，塑造了现代分布式系统的基本词汇。