Leslie Lamport

莱斯利·巴里·兰波特 [2]（生于 1941 年 2 月 7 日）是一位美国计算机科学家和数学家。 Lamport 因其在分布式系统方面的开创性工作而闻名，并且是文档准备系统 LaTeX 的最初开发者及其第一本手册的作者。 [ 3 ] Lamport 是 2013 年图灵奖的获得者 [ 2 ] ，因为他对分布式计算系统看似混乱的行为施加了清晰、明确的一致性，在分布式计算系统中，多个自治计算机通过传递消息相互通信。他设计了重要的算法并开发了正式的建模和验证协议，以提高实际分布式系统的质量。这些贡献提高了计算机系统的正确性、性能和可靠性。 [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] 兰波特出生于纽约布鲁克林的一个犹太家庭，是本杰明和汉娜·兰波特（née Lasser）的儿子。 [需要引用]他的父亲是来自俄罗斯帝国沃尔科维斯克（现白俄罗斯瓦夫卡维斯克）的移民[9]，他的母亲是来自奥匈帝国（现波兰东南部）的移民。领域： 计算机科学 教育背景： 麻省理工学院 学士 布兰代斯大学 硕士 博士 奖项获奖情况： Dijkstra 奖（2000 年、2005 年、2014 年）

IEEE 伊曼纽尔·皮奥雷奖 (2004)

IEEE 约翰·冯·诺依曼奖章 (2008)

图灵奖（2013）

美国国家科学院院士 (2011)

ACM 院士 (2014)