Contents
Leslie Lamport
Developing foundations of distributed computing and creating LaTeX.
Time, Clocks, and the Ordering of Events · LaTeX
- Born
- 7 February 1941
- Birthplace
- New York City, United States
More people
Leslie Lamport
Leslie Lamport is an American computer scientist whose work explains how separate computers can coordinate reliably. He also created LaTeX, widely used to prepare scientific documents.
Early life
New York education
Attended the Bronx High School of Science.
Mathematical training
Studied at MIT and earned a mathematics doctorate at Brandeis in 1972.
Career
- 1970
Industry research
Joined Massachusetts Computer Associates.
- 1977
SRI research
Moved to Stanford Research Institute.
- 2001
Microsoft Research
Continued work on distributed systems and formal specification.
- 2013
Turing Award
Recognised for fundamental contributions to distributed and concurrent systems.
Contributions
Time, Clocks, and the Ordering of Events
Explained how to reason about events without one shared clock.
LaTeX
Created a document-preparation system built on TeX.
Specifying Systems
Presented TLA+, a mathematical approach to describing software behaviour.
Beyond work
Retirement
Retired from Microsoft while keeping his collected work publicly available.
Away from the desk
Took up sailing, karate and cross-country skiing while living in New England.
Sources & photo credit
Life, career and references ↗Leslie Lamport’s website ↗Brandeis profile ↗Photo: Leslie Lamport. Copyrighted free use · Original image. Cropped and displayed in monochrome.
