Leslie Lamport

Leslie Lamport (born 1941) is an American computer scientist known for his contributions to distributed systems and concurrent computing. He developed the Paxos algorithm for achieving consensus in a distributed system, which has become a fundamental building block of distributed computing. Lamport has received numerous awards for his influential work in computer science.

Formulated algorithms to solve many fundamental problems in distributed systems (e.g. the bakery algorithm). Developed the concept of a logical clock, enabling synchronization between distributed entities based on the events through which they communicate. Created LaTeX.

Leslie Barry Lamport is an American computer scientist and mathematician. Lamport is best known for his seminal work in distributed systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual.

• Lamport is best known for his seminal work in distributed systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual.