Leslie Lamport

A computer scientist and mathematician who won the ACM’s Turing Award in 2013 for his contributions to distributed and concurrent systems. He also created LaTeX and TLA+.

Best podcasts with Leslie Lamport

Ranked by the Snipd community

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.