Fandom

Microsoft Wikia

Leslie Lamport

867pages on
this wiki
Add New Page
Talk0 Share
Leslie lamport

Leslie Lamport was born February 7, 1941 in New York City and is a graduate of the Bronx High School of Science, he received a B.S. in Mathematics from the Massachusetts Institute of Technology in 1960, and a M.A. and Ph.D. degrees in Mathematics from Brandeis University in 1963 and 1972.

In 2001 he joined Microsoft Research at Mountain View, California, and his works centers around TLA, short for a programming language called "The Temporal Logic Of Actions" an integrated development environment available for Windows, Macintosh and Linux.

External links

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.