Episode Details
Back to EpisodesEpisode 203: Leslie Lamport on Distributed Systems
Published 11 years, 10 months ago
Description
Leslie Lamport won a Turing Award in 2013 for his work in distributed and concurrent systems. He also designed the document preparation tool LaTex. Leslie is employed by Microsoft Research, and has recently been working with TLA+, a language that is useful for specifying concurrent systems from a high level. The interview begins with a […]