Interview with Leslie Lamport (Turing Award, 2013)

An interview with Leslie Lamport at the 5th Heidelberg Laureate Forum, September 2017.