Description

A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable. -Leslie Lamport.

Leslie Lamport is a computer scientist and mathematician best known for his work with distributed systems. In fact, Dr. Lamport’s research contributions laid the foundations for the theory of distributed systems. He currently works in Microsoft Research
where most of his time is spent developing formal semantics (with mathematical logic) for specifying and reasoning about algorithms.

Here, Dr.
Erik Meijer, computer scientist and programming language/library designer, sits down with Dr. Lamport to discuss several aspects of Dr. Lamport's body of work in computer science.

Dr. Lamport's
TLA, the Temporal Logic of Actions, is a logic for specifying and reasoning about concurrent and reactive systems. TLA+ is the latest incarnation of this formal specification toolset.

After listening to this carefully, weighing the thoughts and information that were provided, trying to listen carefully to detect a glimmer of proof that the interviewee knew how to apply his insights to the real world, I concluded that the guy that's going
to change the way I program is the one with the short hair-cut. My fault, I'm an engineer that wears loud shirts.