萊斯利·蘭波特（英語：Leslie Lamport，1941年2月7日出生），美國計算機科學家。也是排版系統LaTeX的開發者。Lamport以其在分布式系統中的開創性工作以及文檔準備系統LaTeX的最初開發者而聞名。萊斯利·蘭波特（Leslie Lamport）因對分布式計算系統看似混亂的行為施加清晰，明確的一致性而獲得了2013年的圖靈獎，在分布式計算系統中，幾臺自治計算機通過傳遞消息相互通信。他設計了重要的算法，并開發了正式的建模和驗證協議，以提高實際分布式系統的質量。這些貢獻提高了計算機系統的正確性，性能和可靠性。

　　蘭波特1941年出生于紐約，是歐洲移民的兒子。 在麻省理工學院獲學士學位以后，蘭波特到布蘭戴斯大學攻讀數學博士，不久后放棄，到佛蒙特州一所小型文科學校——萬寶路學院教授數學。之后到麻省計算機協會做兼職工作，做ILLIAC設計。

　　Lamport講自己是一個數學家，其次才算是計算機科學家。強調自己對于證明的重視。實際上，他給出了一個狀態機器來解決分布式進程通信的問題，類似于圖靈機，也是抽象機器或者說思維機器（mental machine）。

　　Paxos算法是萊斯利·蘭伯特(Leslie Lamport)1990年提出的一種基于消息傳遞的一致性算法。Paxos算法解決的問題是一個分布式系統如何就某個值（決議）達成一致。在工程實踐意義上來說，就是可以通過Paxos實現多副本一致性，分布式鎖，名字管理，序列號分配等。比如，在一個分布式數據庫系統中，如果各節點的初始狀態一致，每個節點執行相同的操作序列，那么他們最后能得到一個一致的狀態。為保證每個節點執行相同的命令序列，需要在每一條指令上執行一個“一致性算法”以保證每個節點看到的指令一致。

　　1972年獲博士學位，繼續研究ILLIAC。蘭波特最終得出證明，分布系統中的相對次序與觀察者有關。