Larry Larsen from Channel 9 recently sat down with Leslie Lamport, principal researcher at Microsoft Research and 2013 Turing Award winner to talk about the impact of his work on computer science, his current passions, and his love of mathematics.
http://research.microsoft.com