Leslie Lamport
著名计算机科学家，分布式系统领域奠基人之一，Paxos共识算法和LaTeX排版系统的发明者，图灵奖得主
核心事实
时间轴 (近 90 天)
TLA+由Leslie Lamport设计，广泛用于分布式系统验证
TLA+是由图灵奖得主Leslie Lamport设计的规格说明语言，广泛用于验证分布式系统的协议和状态机
Paxos 是由 Leslie Lamport 提出的共识算法
Lamport 的论文《Time, Clocks, and the Ordering of Events in a Distributed System》提出了 happens-before 关系
Leslie Lamport的Paxos算法于1989年提出、1998年发表，Diego Ongaro的Raft算法于2014年提出，为分布式共识问题提供解决方案
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
全部知识事实 (8)
Paxos was proposed by Leslie Lamport in 1989 and was the first consensus algorithm to be rigorously proven correct
65%已验证LaTeX是由Leslie Lamport在1980年代开发的基于TeX排版系统的文档准备语言
65%待验证The original Paxos paper was written as an allegory about a Greek parliament
85%待验证TLA+由Leslie Lamport设计，广泛用于分布式系统验证
50%待验证TLA+是由图灵奖得主Leslie Lamport设计的规格说明语言，广泛用于验证分布式系统的协议和状态机
50%待验证Paxos 是由 Leslie Lamport 提出的共识算法
50%待验证Lamport 的论文《Time, Clocks, and the Ordering of Events in a Distributed System》提出了 happens-before 关系
50%待验证Leslie Lamport的Paxos算法于1989年提出、1998年发表，Diego Ongaro的Raft算法于2014年提出，为分布式共识问题提供解决方案
50%