Leslie Lamport is the author of some of the most cited computer science papers and won a Turing Award in 2013 for his seminal work in distributed and concurrent systems. This is a summary of an ...

Lamport’s 1978 paper “ Time, Clocks, and the Ordering of Events in a Distributed System ” – is one of computer science’s most highly cited.

Algorithms and protocols he developed—including logical clocks, which capture chronological and causal relationships in a distributed system, and the fault tolerance protocol known as Paxos ...

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

Microsoft notes that Lamport’s paper from 1978, Time, Clocks, and the Ordering of Events in a Distributed System, is one of the most widely cited in computer science.

Lamport’s 1978 paper “ Time, Clocks, and the Ordering of Events in a Distributed System ” is one of computer science’s most highly cited.

I [developed] Paxos [in 1989] because people at DEC [Digital Equipment Corporation] were building a distributed file system. The Paxos algorithm is very widely used now.

Microsoft Researcher Wins the “Nobel Prize” of Computer Science The $250,000 Turing prize recognizes Lamport’s contributions to distributed systems.