File:Leslie_Lamport.jpg · Wikimedia Commons · See Wikimedia Commons
Leslie Lamport
Sign in to saveAlso known as Leslie B. Lamport, Leslie Barry Lamport
American computer scientist
In the Vinony graph
Leslie Lamport is indexed among the 79 entries in Vinony's Turing Award collection. It also appears in American Academy of Arts & Sciences.
Within Vinony's link graph, Leslie Lamport is referenced by 183 other articles, and connects out to Byzantine fault, distributed computing and Belarus.
It sits within the topics 1941 births, 20th-century American engineers and 20th-century American mathematicians.
Its subject is documented across 40 Wikipedia language editions.
Key facts
- Born
- ( 1941-02-07 ) February 7, 1941 (age 85) , New York City, U.S.
- Alma mater
- Massachusetts Institute of Technology ( BS ) Brandeis University ( MA , PhD )
- Known for
- LaTeX Hash chain ( S/KEY ) Sequential consistency Lamport's bakery algorithm Byzantine fault tolerance Paxos algorithm Lamport signature Temporal logic of actions TLA+
- Awards
- Dijkstra Prize (2000, 2005, 2014) IEEE Emanuel R. Piore Award (2004) IEEE John von Neumann Medal (2008) Turing Award (2013) Member of the National Academy of Sciences (2011) ACM Fellow (2014)
- Fields
- Computer science
- Institutions
- Microsoft Research Compaq Digital Equipment Corporation SRI International
- Thesis
- The analytic Cauchy problem with singular data (1972)
- Doctoral advisor
- Richard Palais
- Website
- lamport .azurewebsites .net
via Wikipedia infobox
Wikidata facts
- Instance of
- human
- Given name
- Leslie
- Gender
- male
- Citizenship
- United States
- Place of birth
- New York City
- Occupation
- writer
- Educated at
- Bronx High School of Science
- Employer
- Microsoft Research
- Languages spoken
- English language
- Native language
- English language
- Award
- honorary doctorate
- Notable work
- Paxos
- Academic degree
- Doctor of Philosophy
- Doctoral advisor
- Richard Palais
- Field of work
- distributed computing
- Official website
- www.lamport.org
- Image
- Leslie Lamport.jpg
Show 7 more facts
- date of birth
- 1941-02-07
- Commons category
- Leslie Lamport
- member of
- National Academy of Engineering
- Erdős number
- 3
- Commons gallery
- Leslie Lamport
- name in native language
- Leslie Lamport
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0
~8 min read
Encyclopedic overview
Leslie Barry Lamport (born February 7, 1941) 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.
Lamport was the winner of the 2013 Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior 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.
Excerpted from Wikipedia’s “Leslie Lamport” article, available under the CC BY-SA 4.0 licence.