Leslie Lamport

Turing Award Laureate

Microsoft Research

1 standalone talk · 1 total lecture · 1h recorded

Computer Systems & Software Algorithms & Theoretical CS

Standalone talks by Leslie Lamport

Self-contained public lectures, keynote addresses, and research seminars.

59:50

Systems & CS·Research Seminar

Leslie Lamport: Thinking Above the Code

Leslie Lamport·Microsoft Research

Turing Award winner Leslie Lamport argues that writing code before writing a mathematical state-machine specification is like pouring concrete before drawing an architectural blueprint.