Science Fair Project Encyclopedia
Leslie Lamport
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
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details


