7 Podcast Episodes
Leslie Lamport - in partnership with ACM Bytecast
Leslie Lamport - in partnership with ACM Bytecast
In this collaboration with ACM ByteCast and Hanselminutes, Scott welcomes 2013 ACM A.M. Turing Award laureate Leslie Lam... Read more
27 May 2021
•
39mins
Leslie Lamport - Episode 16 (Special Episode in Partnership with the Hanselminutes Podcast)
Leslie Lamport - Episode 16 (Special Episode in Partnership with the Hanselminutes Podcast)
In this episode of ACM ByteCast, our special guest host Scott Hanselman (of The Hanselminutes Podcast) welcomes 2013 ACM... Read more
27 May 2021
•
36mins
Leslie Lamport, sistemas distribuidos y la importancia de las matemáticas en la programación | E2
Leslie Lamport, sistemas distribuidos y la importancia de las matemáticas en la programación | E2
Un podcast dedicado a Leslie Lamport sobre su trabajo y visión.
10 Dec 2019
•
15mins
Think and Write, with Leslie Lamport
Think and Write, with Leslie Lamport
Subscribe on: iTunes | Spotify | Android | YouTubeLeslie Lamport is an American computer scientist. Lamport is best know... Read more
14 Aug 2019
•
TLA+ with Leslie Lamport
TLA+ with Leslie Lamport
TLA+ is a formal specification language. TLA+ is used to design, model, and verify concurrent systems. TLA+ allows a use... Read more
9 Nov 2018
•
36mins
Distributed Systems with Leslie Lamport
Distributed Systems with Leslie Lamport
This episode is a republication from my interview with Leslie Lamport on Software Engineering Radio. Leslie Lamport won... Read more
27 Feb 2016
•
50mins
Distributed Systems with Leslie Lamport
Distributed Systems with Leslie Lamport
This episode is a republication from my interview with Leslie Lamport on Software Engineering Radio. Leslie Lamport won... Read more
27 Feb 2016
•
50mins