Leslie Lamport

(1941) Mathematician United States

8 quotes in 39 categories

Leslie Lamport is a mathematician from the United States, best known for LATEX.

Quick Facts About Leslie Lamport

Born: February 7, 1941
Nationality: United States
Profession: Mathematician
Notable works: LATEX
Known for: Paxos, temporal logic of actions, TLA+, LaTeX, distributed computing

About Leslie Lamport

Leslie Barry Lamport is an American computer scientist and mathematician. Lamport is best known for his seminal work in distributed systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual.

Biography source: Wikipedia

Awards & Honors

Dijkstra Prize IEEE Emanuel R. Piore Award honorary doctorate ACM Fellow honorary doctor of the University of Rennes I honorary doctor of the École polytechnique fédérale de Lausanne honorary doctor of the Christian Albrechts University of Kiel Turing Award

Show 1 more awards

IEEE John von Neumann Medal