Hour-long video interview with Leslie Lamport (March 2010)

Wow. very very insightful. I was hoping he would talk in more detail about his famous solutions (Bakers etc), but hey then again it is a 55 minute talk. Hope to see plenty more of these!