Leslie Lamport

Leslie Lamport(Q92613) is the American computer scientist who created Byzantine General Problem.

Content Link
Video/Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)
Video/Lamport on discovering the Bakery Algorithm
Video/Lamport on writing "Time, Clocks, and the Ordering of Events in a Distributed System"
Video/Leslie Lamport: Thinking Above the Code
Video/The Man Who Revolutionized Computer Science With Math
Video/Think and Write, with Leslie Lamport