In this episode of ACM ByteCast, our special guest host Scott Hanselman (of The Hanselminutes Podcast) welcomes 2013 ACM A.M. Turing Award laureate Leslie Lamport of Microsoft Research, best known for his seminal work in distributed and concurrent systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual. Among his many honors and recognitions, Lamport is a Fellow of ACM and has received the IEEE Emanuel R. Piore Award, the Dijkstra Prize, and the IEEE John von Neumann Medal.
Leslie shares his journey into computing, which started out as something he only did in his spare time as a mathematician. Scott and Leslie discuss the differences and similarities between computer science and software engineering, the math involved in Leslie’s high-level temporal logic of actions (TLA), which can help solve the famous Byzantine Generals Problem, and the algorithms Leslie himself has created. He also reflects on how the building of distributed systems has changes since the 60s and 70s.
Subscribe to the Hanselminutes Podcast: https://www.hanselminutes.com/.
Links:
Partha Talukdar - Episode 52
Rosalind Picard - Episode 51
Edward Y. Chang - Episode 50
Jacki O'Neill - Episode 49
Ranveer Chandra - Episode 48
Yael Tauman Kalai - Episode 47
Noriko Arai - Episode 46
Eugenio Zuccarelli - Episode 45
Regina Barzilay - Episode 44
Kush Varshney - Episode 43
Anima Anandkumar - Episode 42
Mor Peleg - Episode 41
Robert Metcalfe - Episode 40
H.-S. Philip Wong - Episode 39
Pattie Maes - Episode 38
Whitfield Diffie and Martin Hellman- Episode 37
Holly Urban - Episode 36
Pat Pataranutaporn - Episode 35
Team V Bionic - Episode 34
Neil Trevett - Episode 33
Create your
podcast in
minutes
It is Free
DNA Today: A Genetics Podcast
Museum of the Missing
Strange by Nature Podcast
Sasquatch Chronicles
Hidden Brain