On 21 August 1989, at a TeX User Group meeting at Stanford, Lamport agreed to turn over maintenance and development of LaTeX to Frank Mittelbach. Mittelbach along with Chris Rowley and Rainer Schöpf formed the LaTeX3 team. In 1994 they released LaTeX2e, the current standard version, and continue working on LaTeX3.
Lamport (born February 7, 1941) is an American computer scientist. Lamport is best known for his work in distributed systems and as the initial developer of the document preparation system LaTeX. Leslie Lamport was the winner of the 2013 Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behaviour of distributed computing systems, in which several autonomous computers communicate with each other by passing messages. He devised important algorithms and developed formal modeling and verification protocols that improve the quality of real distributed systems. These contributions have resulted in improved correctness, performance and reliability of computer systems.
-
B.S. in mathematicsMassachusetts Institute of Technology.1960
-
M.A. and Ph.D degrees in mathematicsBrandeis University. His dissertation was about singularities in analytic partial differential equations.1963/1972
-
Massachusetts Computer AssociatesHe worked as a computer scientist.1970 - 1977
-
Digital Equipment CorporationHe worked as a computer scientist.1977 - 1985
-
CompaqHe worked as a computer scientist.1985 - 2001
-
Microsoft Research in Mountain View, CaliforniaHe worked as a computer scientist.2001 - 2014
-
Dijkstra PrizeHe won the prize with the paper: "Time, clocks and the ordering of events in a distributed system".2000
-
IEEE Emanuel R. Piore AwardHe won the award with the paper: "Reaching Agreement in the Presence of Faults”.2005
-
IEEE John von Neumann Medal2008
-
United States National Academy of SciencesHe was elected to the United States National Academy of Sciences.2011
-
ACM A.M. Turing AwardHe received the ACM A.M. Turing Award for: "Fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines and sequential consistency".2013
-
ACM FellowHe was named ACM Fellow for fundamental contributions to the theory and practice of distributed and concurrent systems.2014