Leslie Barry Lamport is an American computer scientist and mathematician best known for his seminal work in distributed systems and as the initial developer of the LaTeX document preparation system, writing its first manual. He won the 2013 Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems, devising algorithms and formal modeling and verification protocols that improved the correctness, performance and reliability of real distributed systems. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Awardhonorary doctorate of the Henri Poincaré University 1 Awardhonorary doctor of the University of Rennes I 1 AwardIEEE Emanuel R. Piore Award 1 Awardhonorary doctor of the École polytechnique fédérale de Lausanne 1 AwardIEEE John von Neumann Medal 1 Awardhonorary doctor of the Christian Albrechts University of Kiel 1 Connections
Associated With
Vector Clocks, Concepts Vector clocks, introduced by Colin Fidge and Friedemann Mattern, directly generalize the logical clock concept Leslie Lamport introduced in his 1978 paper on ordering events in distributed systems.
Invented By
Leslie Lamport co-authored the 1982 paper (with Robert Shostak and Marshall Pease) that formulated the Byzantine Generals Problem and named Byzantine fault tolerance.
Leslie Lamport's Byzantine Generals and Paxos work formulated the distributed consensus problem in its modern form.
In the Other Atlases
Sources
1. Wikidata: Leslie Lamport
2. Wikipedia: Leslie Lamport
Wikimedia FoundationLead sectionQuote, Lead section
born February 7, 1941
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.