Is Leslie Lamport A-List?
NoB
No — Leslie Lamport is currently ranked B tier — a well-known figure with a strong career but not quite a household name.
Ranking Timeline
1977C$0.1M
Logical Clocks Paper
Publishes influential paper on logical clocks.
1980C$0.2M+$0.1M
Byzantine Fault Tolerance Work
Contributes significantly to Byzantine fault tolerance research.
1985B▲$0.5M+$0.3M
LaTeX Development
Develops LaTeX, becoming a standard tool.
2013B$1M+$0.5M
TLA+ Formal Specification
Introduces TLA+ for formal specification of systems.
2013B$2.5M+$1.5M
Turing Award
Wins Turing Award. Recognition for his career.
2026B$5M+$2.5M
Continued Academic Contributions
Continues his work in distributed systems and computer science.
Last updated: February 25, 2026