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 ...