Leslie Lamport
Leslie B. Lamport (born February 7, 1941) is an American computer scientist. 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. Leslie 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.
designer
influenced
Wikipage redirect
ACM SIGOPSBibTeXBrandeis_UniversityBuridan's assByzantine faultCAT (phototypesetter)Chandy–Lamport algorithmClock Constraints Specification LanguageComparison of document-markup languagesConcurrency (computer science)Consensus (computer science)DEC Systems Research CenterDigital Equipment CorporationDonald KnuthEdsger W. DijkstraGbcastGooglewhackHappened-beforeHash-based cryptographyHash chainIEEE Emanuel R. Piore AwardIEEE John von Neumann MedalK. Mani ChandyLaTeXLamport's bakery algorithmLamport (surname)Lamport signatureLamport timestampLeslie (name)Leslie B. LamportList of American Academy of Arts and Sciences members (2006–2019)List of Brandeis University peopleList of Bronx High School of Science alumniList of Dutch inventions and innovationsList of Massachusetts Institute of Technology alumniList of SRI International peopleList of TeX extensionsList of Turing Award laureates by university affiliationList of computer scientists
Link from a Wikipage to another Wikipage
designer
influenced
primaryTopic
Leslie Lamport
Leslie B. Lamport (born February 7, 1941) is an American computer scientist. 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. Leslie 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.
has abstract
Leslie B. Lamport (7 de fevere ...... cebeu o Prêmio Turing de 2013.
@pt
Leslie B. Lamport (born Februa ...... liability of computer systems.
@en
Leslie B. Lamport, né le 7 fév ...... ion de documents LaTeX (1983).
@fr
Leslie Lamport (* 7. Februar 1 ...... ter und nebenläufiger Systeme.
@de
Leslie Lamport (* 7. února 194 ...... ystémů udělena Turingova cena.
@cs
Leslie Lamport (New York, 7 fe ...... e al software tipografico TeX.
@it
Leslie Lamport (New York, 7 fe ...... van het TeX-macropakket LaTeX.
@nl
Leslie Lamport (Nova York, 194 ...... obtenir una ordenació parcial.
@ca
Leslie Lamport (Nueva York, EE ...... hos sistemas distribuidos.
@es
Leslie Lamport (ur. 1941) – am ...... racuje dla Microsoft Research.
@pl
academic discipline
award
birth date
1941-02-07
birth name
Leslie B. Lamport
@en
birth place
doctoral advisor
known for
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,017,983,940
Link from a Wikipage to another Wikipage
alma mater
@en
Brandeis University
@en
Massachusetts Institute of Technology
@en
birth date
1941-02-07
birth name
Leslie B. Lamport
@en
birth place
doctoral advisor
field
known for
@en
Atomic Register Hierarchy
@en
Byzantine fault tolerance
@en
LaTeX
@en
Lamport signature
@en
Lamport's bakery algorithm
@en
Paxos algorithm
@en
Sequential consistency
@en
name
Leslie Lamport
@en
prizes
@en
ACM Fellow
@en
Dijkstra Prize
@en
IEEE Emanuel R. Piore Award
@en
IEEE John von Neumann Medal
@en
Member of the National Academy of Sciences
@en
Turing Award
@en
thesis title
The analytic Cauchy problem with singular data
@en
thesis url
thesis year
wikiPageUsesTemplate
wordnet_type
work institution
@en
Compaq
@en
Digital Equipment Corporation
@en
Microsoft Research
@en
SRI International
@en
subject
hypernym
sameAs
comment
Leslie B. Lamport (7 de fevere ......
* "The Part-time Parliament"
@pt
Leslie B. Lamport (born Februa ...... liability of computer systems.
@en
Leslie B. Lamport, né le 7 fév ...... ion de documents LaTeX (1983).
@fr
Leslie Lamport (* 7. Februar 1 ...... ter und nebenläufiger Systeme.
@de
Leslie Lamport (* 7. února 194 ...... 01. V roce 2001 nastoupil do .
@cs
Leslie Lamport (New York, 7 fe ...... e al software tipografico TeX.
@it
Leslie Lamport (New York, 7 fe ...... van het TeX-macropakket LaTeX.
@nl
Leslie Lamport (Nova York, 194 ...... obtenir una ordenació parcial.
@ca
Leslie Lamport (Nueva York, EE ...... hos sistemas distribuidos.
@es
Leslie Lamport (ur. 1941) – am ...... racuje dla Microsoft Research.
@pl
label
Leslie Lamport
@ca
Leslie Lamport
@cs
Leslie Lamport
@de
Leslie Lamport
@en
Leslie Lamport
@es
Leslie Lamport
@fr
Leslie Lamport
@it
Leslie Lamport
@nl
Leslie Lamport
@pl
Leslie Lamport
@pt
sameAs
wasDerivedFrom
isPrimaryTopicOf
name
Leslie Lamport
@en