Episode 203: Leslie Lamport on Distributed Systems
Software Engineering Radio - The Podcast for Professional Software Developers
English - April 29, 2014 15:48 - 48 minutes - 67.3 MB - ★★★★ - 210 ratingsTechnology Education How To software engineering development programming architecture concurrency testing embedded systems enterprise Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: Episode 202: Andrew Gerrand on Go
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 […]