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.
Life
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 .
plant
Lamport is known as the developer of LaTeX . In theoretical computer science , he has researched in the following areas:
- In formal semantics he dealt with correctness proofs for parallel algorithms .
- In the area of distributed systems , he primarily examined process synchronization (see also Lamport clock , sequential consistency , snapshot algorithm , Byzantine error ).
- In the temporal logic he introduced the temporal logic of actions (TLA).
- In 1979, he and Whitfield Diffie developed the Lamport-Diffie one-time signature method in cryptology .
Fonts
- 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
Awards
- Member of the National Academy of Engineering (1991)
- PODC Influential Paper Award (2000, today Dijkstra Prize )
- Honorary doctorate, University of Rennes I (2003)
- Honorary doctorate, Christian-Albrechts-Universität zu Kiel (2003)
- Honorary doctorate, École polytechnique fédérale de Lausanne (2004)
- Honorary doctorate, Università della Svizzera italiana , Lugano (2006)
- IEEE Emanuel R. Piore Award (2004)
- Dijkstra Prize (2005)
- Honorary doctorate, Université Henri Poincaré , Nancy (2007)
- IEEE John von Neumann Medal (2008)
- Member of the National Academy of Sciences (2011)
- ACM AM Turing Award (2013)
- Dijkstra Prize (2014)
- Member of the American Academy of Arts and Sciences (2014)
- Fellow of the Computer History Museum (2019)
Web links
- Leslie Lamport's Home Page (English)
- Hall of Fame of the University of Pittsburgh (English)
- Videos by and about Leslie Lamport in the AV Portal of the Technical Information Library
Individual evidence
- ↑ Life data according to American Men and Women of Science , Thomson Gale 2004
- ↑ Leslie Lamport in the Mathematics Genealogy Project (English)
| personal data | |
|---|---|
| SURNAME | Lamport, Leslie |
| BRIEF DESCRIPTION | American mathematician, computer scientist and LaTeX programmer and developer |
| DATE OF BIRTH | February 7, 1941 |
| PLACE OF BIRTH | new York |