Videos

Lecture: Monday, August 24, 2015 – Leslie Lamport

Leslie Lamport: “A Mathematical View of Computer Systems”

Abstract:

Mathematics provides what I believe to be the simplest and most powerful way to describe computer systems.