Episode 203: Leslie Lamport on Distributed Systems
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+,
49 Minuten
Podcast
Podcaster
Information for Software Developers and Architects
Beschreibung
vor 11 Jahren
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 […]
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 […]
Weitere Episoden
48 Minuten
vor 4 Monaten
55 Minuten
vor 4 Monaten
1 Stunde 2 Minuten
vor 5 Monaten
48 Minuten
vor 5 Monaten
In Podcasts werben
Kommentare (0)