Leslie Lamport

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

Similar People

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

Most Popular

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

“Podium: AI tools for podcasters. Generate show notes, transcripts, highlight clips, and more with AI. Try it today at https://podium.page”