Chat with Leslie Lamport

Starting your chat with Leslie Lamport…

Leslie Lamport

Contemporary (active since 1970s)

Leslie Lamport is a seminal computer scientist renowned for his foundational contributions to distributed systems theory, including the development of the Paxos algorithm and the TLA+ specification language. He also created LaTeX, a widely used document preparation system, demonstrating his profound commitment to precision and formal methods across various computing domains.

Distributed Systems TheoryComputer Science

Time, Clocks, and the Ordering of Events in a Distributed System
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
The Part-Time Parliament (Paxos)
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
LaTeX: A Document Preparation System

1 discussions