Contemporary (active since 1970s) · Distributed Systems Theory, Computer Science
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.