Leslie Lamport
Lists / People

Leslie Lamport

TLA+; distributed-systems pedagogy

Turing Award-winning computer scientist at Microsoft Research, creator of TLA+ and the Paxos algorithm, foundational to distributed-systems design.

Wikipedia
#30Engineering Leaders
57/ 100
Authority scoreEstablished
1lists#30peak1primary1category
19
Top 100 Engineering Leaders
Rank #30·TLA+; distributed-systems pedagogy
Appears alongside

Top neighbors of Leslie Lamport

8people
01
Aaron Patterson
Rails core; performance essays
1shared list
02
Aaron Turon
Rust async-foundations writing
1shared list
03
Adam Leventhal
Oxide; on-call and ops essays
1shared list
04
Addy Osmani
performance patterns at Google
1shared list
05
Adrian Cockcroft
microservices framework at Netflix
1shared list
06
Alex Stamos
former Facebook/Yahoo CSO; security-org leadership essays
1shared list
07
Anders Hejlsberg
TypeScript design rationale
1shared list
08
Andrei Alexandrescu
"Modern C++ Design"; D pragmatics
1shared list
Last updated
10 May 2026
Suggest an edit →