莱斯利·兰波特

生卒

1941 年 2 月 7 日

出生地

纽约

国籍 / 所属

美国

身份

作家、工程师、计算机科学家、数学家、程序员

代表作

LaTeX、分布式计算、Paxos算法、行为时序逻辑、TLA+

莱斯利·兰波特，美国计算机科学家。也是排版系统LaTeX的开发者。Lamport在计算机科学领域，特别是分布式系统，领域有着深远的影响，也奠定的此领域的基础。他最著名的贡献是在分布式系统中的逻辑时钟和事件排序，Bakery算法和互斥解决方案，并发程序的规范和验证，不可靠网络中的Paxos协议，以及复制状态机 的概念。他的成果为他赢得了许多奖项和荣誉，包括2013年的图灵奖、Dijkstra奖、IEEE约翰·冯·诺依曼奖和the Jean-Claude Laprie Award in Dependable Computing。他还于2011年当选为美国国家科学院院士。

摘自中文维基百科「莱斯利·兰波特」，按 CC BY-SA 4.0 使用