Leslie Lamport
A prominent computer scientist and one of the founding figures in distributed systems research. He is the inventor of the Paxos consensus algorithm and the LaTeX typesetting system, and is a recipient of the Turing Award.
Core Facts
Timeline (last 90 days)
TLA+ was designed by Leslie Lamport and is widely used for distributed systems verification.
TLA+ is a specification language designed by Turing Award laureate Leslie Lamport, widely used for verifying protocols and state machines in distributed systems.
Paxos is a consensus algorithm proposed by Leslie Lamport.
Lamport's paper "Time, Clocks, and the Ordering of Events in a Distributed System" proposed the happens-before relationship.
Leslie Lamport's Paxos algorithm was proposed in 1989 and published in 1998, and Diego Ongaro's Raft algorithm was proposed in 2014, providing solutions to the distributed consensus problem.
The original Paxos paper was written as an allegory about a Greek parliament
Paxos was proposed by Leslie Lamport in 1989 and was the first consensus algorithm to be rigorously proven correct
All Facts (8)
Paxos was proposed by Leslie Lamport in 1989 and was the first consensus algorithm to be rigorously proven correct
65%UnverifiedLaTeX是由Leslie Lamport在1980年代开发的基于TeX排版系统的文档准备语言
95%UnverifiedThe original Paxos paper was written as an allegory about a Greek parliament
85%UnverifiedTLA+ was designed by Leslie Lamport and is widely used for distributed systems verification.
50%UnverifiedTLA+ is a specification language designed by Turing Award laureate Leslie Lamport, widely used for verifying protocols and state machines in distributed systems.
50%UnverifiedPaxos is a consensus algorithm proposed by Leslie Lamport.
50%UnverifiedLamport's paper "Time, Clocks, and the Ordering of Events in a Distributed System" proposed the happens-before relationship.
50%UnverifiedLeslie Lamport's Paxos algorithm was proposed in 1989 and published in 1998, and Diego Ongaro's Raft algorithm was proposed in 2014, providing solutions to the distributed consensus problem.
50%