Distributed Systems with Leslie Lamport
Greatest Hits Archives - Software Engineering Daily - Een podcast door Greatest Hits Archives - Software Engineering Daily
Categorieën:
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
