Leslie Lamport is an American computer scientist known for foundational work in distributed systems and formal reasoning about concurrency. He developed influential concepts and tools—from LaTeX to Paxos—that shaped how engineers write and verify complex systems.