Leslie Lamport
Leslie Lamport is an American computer scientist and mathematician best known for his seminal work in distributed systems, including the Paxos consensus algorithm, the bakery algorithm for mutual exclusion, and the State Machine Replication paradigm. He is also the initial developer of the LaTeX document preparation system. He was a Distinguished Scientist at Microsoft Research from 2001 until his retirement in January 2025. He received the 2013 Turing Award for his fundamental contributions to the theory and practice of distributed and concurrent systems.
“Leslie Lamport was working on Paxos... that paper used replication and talked about using Paxos.”
Source→“And they really were the same protocol developed in two different places.”
Source→AI-extracted from podcast / newsletter / paper summaries. May contain errors.