Cast List: Distributed Systems with Leslie Lamport

Distributed Systems with Leslie Lamport

Software Engineering Daily

Episode: Distributed Systems with Leslie Lamport
Website: Software Engineering Daily
Feed URL: http://softwareengineeringdaily.com/feed/podcast
Duration: 00:50:06
Published: 2016-02-27 07:00

This episode is a republication from my interview with Leslie Lamport on Software Engineering Radio. 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 definition:

Next Episodes

Computational Neuroscience with Jeremy Freeman @ Software Engineering Daily

📆 2016-02-26 03:38 / ⌛ 00:53:40

Applying Software Research to Industry with Andy Ko @ Software Engineering Daily

📆 2016-02-25 01:30 / ⌛ 00:59:51

VoltDB and In-Memory Databases with John Hugg @ Software Engineering Daily

📆 2016-02-24 01:41 / ⌛ 01:03:34

React.js Conf with Brent Vatne @ Software Engineering Daily

📆 2016-02-23 05:07 / ⌛ 00:54:41

Browser Wars with Eric Sink @ Software Engineering Daily

📆 2016-02-22 04:01 / ⌛ 00:55:14