# Leslie Lamport
![[50 Resources/51 Attachments/51.03 Public/2026-05-04 Leslie Lamport.jpg|400]]
Best known for his work on distributed systems. He also created LaTeX. He won the 2013 Turing Award.
He's behind the following papers:
- Time, Clocks, and the Ordering of Events in a Distributed System
- The Byzantine Generals' Problem
- About [[Byzantine failures]]
- ...
Those are some of the most cited papers in the field of computer science.
They describe algorithms such as:
- The [[Paxos algorithm]]
- The Lamport signature
- ...
## Quotes
<!-- QueryToSerialize: LIST FROM #type/quote AND [[Leslie Lamport]] WHERE public_note = true SORT file.name ASC -->
<!-- SerializedQuery: LIST FROM #type/quote AND [[Leslie Lamport]] WHERE public_note = true SORT file.name ASC -->
- [[If you think without writing, you only think you're thinking]]
- [[Writing is nature's way of telling us how sloppy our thinking is]]
<!-- SerializedQuery END -->
<!-- SerializedQuery: LIST FROM #type/quote AND [[Leslie Lamport]] WHERE public_note = true SORT file.name ASC -->
- [[If you think without writing, you only think you're thinking]]
<!-- SerializedQuery END -->
## Books
<!-- QueryToSerialize: LIST FROM #books AND [[Leslie Lamport]] WHERE public_note = true SORT file.name ASC -->