Leslie Lamport

from Wikipedia, the free encyclopedia
Leslie Lamport

Leslie Lamport (born February 7, 1941 in New York ) is an American mathematician , computer scientist and programmer . In 2013 he received the Turing Award for his contributions to the theory and practice of distributed and concurrent systems.


Lamport graduated from the Massachusetts Institute of Technology with a bachelor's degree in mathematics in 1960 . From 1962 to 1965 he worked part-time for Miter Corporation . In 1963 he obtained an MA degree (Master of Arts) from Brandeis University and in 1972 he received his doctorate in mathematics from Richard Palais ( The Analytic Cauchy Problem with Singular Data ). Lamport was Professor of Mathematics at Marlboro College from 1965 to 1969 and worked for Massachusetts Computer Associates from 1970 to 1977. From 1977 to 1985 he was at SRI International and from 1985 to 2001 at Digital Equipment Corporation / Compaq (as Senior Consulting Engineer). He has been working for Microsoft Research since 2001 .


Lamport is known as the developer of LaTeX . In theoretical computer science , he has researched in the following areas:


  • LaTeX: a document preparation system , Addison-Wesley 1986, 2nd edition 1994
  • Specifying systems: the TLA + language and tools for hardware and software engineers , Addison-Wesley 2003
  • Time, Clocks and the Ordering of Events in a Distributed System : First published in: Communications of the ACM 21, 7 (July 1978), pp. 558-565. Relaunched u. a. in Distributed Computing: Concepts and Implementations , McEntire et al., ed. IEEE Press, 1984.
  • The Writings of Leslie Lamport , annotated list of Leslie Lamport's publications


Web links

Individual evidence

  1. Life data according to American Men and Women of Science , Thomson Gale 2004
  2. Leslie Lamport in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used