Leslie Lamport

Leslie Lamport
Almamater	Massachusetts Institute of Technology (BS) Brandeis University (MA, PhD)
Dikenal atas	LaTeX Hash chain (S/KEY) Sequential consistency Lamport's bakery algorithm Byzantine fault tolerance Paxos algorithm Lamport signature Temporal logic of actions TLA+
Penghargaan	Dijkstra Prize (2000, 2005, and 2014) IEEE Emanuel R. Piore Award (2004) IEEE John von Neumann Medal (2008) Turing Award (2013) Member of the National Academy of Sciences (2011) ACM Fellow (2014)
Karier ilmiah
Bidang	Computer science
Institusi	Microsoft Research Compaq Digital Equipment Corporation SRI International
Disertasi	(1972)
Situs web	lamport.org