Leslie Lamport, 2013 ACM Turing Award Recipient - Part 1

Dr. Lamport begins with how he became interested in computers and how he worked for compute companies during his graduate school years. It was these experiences that led him to consider problems of concurrency. Much of the rest of the interview is concerned with an illustration of the tie-in between his work on algorithms, in particular concurrency algorithms, and the methods that he developed for proving the algorithms correct The two themes were interwoven over most of his career. More info: https://amturing.acm.org/award_winners/lamport_1205376.cfm