Skip to content
◈ALB Atlas

Leslie Lamport Alive

Leslie Lamport
KindPerson
Born1941
StatusAlive
Fieldtheory
Sourcelamport.azurewebsites.net ↗

Formalized distributed systems — logical clocks, Paxos, Byzantine generals — and wrote LaTeX on the side.

Created Time, Clocks, and the Ordering of Events in a Distributed System

Wrote 'Time, Clocks, and the Ordering of Events' (1978) — the logical-clock paper that made distributed systems a science — and created LaTeX.\n\nTuring Award 2013; Paxos is his consensus protocol — the story of its rejection is the field's best anecdote.

Sources

  1. lamport.azurewebsites.net/
  2. en.wikipedia.org/wiki/Leslie_Lamport