Leslie Lamport
Turing Award–winning computer scientist known for foundational work in distributed systems, including Lamport timestamps, the Paxos algorithm, and contributions to LaTeX and concurrency theory.
Top 3 podcasts with Leslie Lamport
Ranked by the Snipd community
63 snips
Feb 23, 2026 • 1h 10min
Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport
Leslie Lamport, Turing Award–winning computer scientist behind Paxos and Lamport timestamps. He tells stories about the Bakery algorithm, working with Dijkstra, the happens-before concept, inventing Byzantine faults, and the Paxos vs Raft debate. He also shares why writing and state-machine thinking shaped his work and how practical problems guided his research.
31 snips
Aug 9, 2023 • 1h 8min
Thinking outside the box of code (Interview)
Leslie Lamport, a renowned computer scientist and Turing Award winner, dives into the revolutionary aspects of LaTeX and TLA+, emphasizing their roles in problem-solving and software planning. He contrasts coding with programming, advocating for a clearer understanding of a program's purpose. Lamport also discusses the complexities of distributed systems, using the bakery algorithm to illustrate concurrent processes. His insights promote a thoughtful approach to software development, highlighting the importance of formal specifications to minimize bugs.
Aug 9, 2023 • 1h 8min
Thinking outside the box of code
Leslie Lamport, computer scientist and mathematician, talks about creating LaTeX and TLA+, the importance of code descriptions, upfront design, thinking outside the code box, developing algorithms, and thinking algorithmically with TLA Plus.
