PERSON
Leslie Lamport
The computer scientist who gave distributed systems their mathematical foundations—inventor of the logical clock, architect of the Paxos consensus algorithm, and the author of TLA+, the specification language used to verify the correctness of the most critical infrastructure on earth.
Leslie Lamport is the thinker who proved that time itself is more complicated than it appears once computers start talking to one another. His 1978 paper
Time, Clocks, and the Ordering of Events in a Distributed System—the most cited paper in computer science—showed that physical clocks cannot synchronize perfectly across a network, and introduced the concept of the
logical clock: a counter that captures the causal order of events without reference to any shared timepiece. The implication was unsettling: in a
distributed system, there is no global “now.” Events that appear simultaneous from one vantage may be causally ordered from another.
Large language models are deployed across distributed infrastructure governed by Lamport's clocks every time they serve a request. His later invention, the Paxos consensus algorithm, solves the problem of getting multiple machines to agree on a single value even when some of them fail—the protocol on which Google Chubby, Apache Zookeeper, and many