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年提出，为分布式共识问题提供解决方案
全部知识事实 (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%