Dr. Leslie Lamport is an American computer scientist.

Lamport received a B.S. from the Massachusetts Institute of Technology in mathematics in 1960. He also earned M.A. and Ph.D. degrees from Brandeis University in 1963 and 1972, both also in mathematics.

In computer science, Dr. Lamport is best known for his work on temporal logic, introducing the Temporal Logic of Actions (TLA). He formulated the happened-before relationship relevant to logical clocks in distributed systems.

Outside of computer science, Dr. Lamport is best known as the initial developer of LaTeX.

He currently works for Microsoft Research.

External links

• Leslie's Home Page