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.