莱斯利·兰波特（英语：Leslie Lamport，1941年2月7日出生），美国计算机科学家。也是排版系统LaTeX的开发者。Lamport以其在分布式系统中的开创性工作以及文档准备系统LaTeX的最初开发者而闻名。莱斯利·兰波特（Leslie Lamport）因对分布式计算系统看似混乱的行为施加清晰，明确的一致性而获得了2013年的图灵奖，在分布式计算系统中，几台自治计算机通过传递消息相互通信。他设计了重要的算法，并开发了正式的建模和验证协议，以提高实际分布式系统的质量。这些贡献提高了计算机系统的正确性，性能和可靠性。

　　兰波特1941年出生于纽约，是欧洲移民的儿子。 在麻省理工学院获学士学位以后，兰波特到布兰戴斯大学攻读数学博士，不久后放弃，到佛蒙特州一所小型文科学校——万宝路学院教授数学。之后到麻省计算机协会做兼职工作，做ILLIAC设计。

　　Lamport讲自己是一个数学家，其次才算是计算机科学家。强调自己对于证明的重视。实际上，他给出了一个状态机器来解决分布式进程通信的问题，类似于图灵机，也是抽象机器或者说思维机器（mental machine）。

　　Paxos算法是莱斯利·兰伯特(Leslie Lamport)1990年提出的一种基于消息传递的一致性算法。Paxos算法解决的问题是一个分布式系统如何就某个值（决议）达成一致。在工程实践意义上来说，就是可以通过Paxos实现多副本一致性，分布式锁，名字管理，序列号分配等。比如，在一个分布式数据库系统中，如果各节点的初始状态一致，每个节点执行相同的操作序列，那么他们最后能得到一个一致的状态。为保证每个节点执行相同的命令序列，需要在每一条指令上执行一个“一致性算法”以保证每个节点看到的指令一致。

　　1972年获博士学位，继续研究ILLIAC。兰波特最终得出证明，分布系统中的相对次序与观察者有关。