Leslie Lamport

E19144
American person computer scientist human

Leslie Lamport is an American computer scientist renowned for his foundational work in distributed systems, concurrency, and formal methods, including the development of the Paxos consensus algorithm and the LaTeX document preparation system.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label Occurrences
Leslie Lamport canonical 16
Lamport 1

Statements (50)

Predicate Object
instanceOf American person ⓘ
computer scientist ⓘ
human ⓘ
almaMater Massachusetts Institute of Technology ⓘ
awardReceived Dijkstra Prize in Distributed Computing ⓘ
IEEE Emanuel R. Piore Award ⓘ
IEEE John von Neumann Medal ⓘ
Turing Award ⓘ
citizenship United States of America ⓘ
coCreated LaTeX ⓘ
surface form: LaTeX document preparation system
contributedTo TeX typesetting system ⓘ
surface form: TeX typesetting system ecosystem
developed LaTeX ⓘ
Paxos consensus algorithm ⓘ
Temporal Logic of Actions ⓘ
educatedAt Massachusetts Institute of Technology ⓘ
employer Digital Equipment Corporation ⓘ
Massachusetts Computer Associates ⓘ
Microsoft ⓘ
surface form: Microsoft Research

Stanford Research Institute ⓘ
surface form: SRI International
familyName Leslie Lamport self-linksurface differs ⓘ
surface form: Lamport
fieldOfWork algorithm design ⓘ
computer science ⓘ
concurrency ⓘ
distributed computing ⓘ
distributed systems ⓘ
formal methods ⓘ
givenName Leslie ⓘ
influenced design of consensus protocols in distributed systems ⓘ
design of modern distributed databases ⓘ
knownFor Byzantine Generals Problem ⓘ
LaTeX ⓘ
surface form: LaTeX document preparation system

Paxos consensus algorithm ⓘ
Temporal Logic of Actions ⓘ
logical clocks in distributed systems ⓘ
work on concurrency ⓘ
work on distributed systems ⓘ
work on formal verification ⓘ
name Leslie Lamport self-link ⓘ
nationality United States of America ⓘ
notableWork "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs" ⓘ
LaTeX ⓘ
surface form: "LaTeX: A Document Preparation System"

"Reaching Agreement in the Presence of Faults" ⓘ
"The Part-Time Parliament" ⓘ
"Time, Clocks, and the Ordering of Events in a Distributed System" ⓘ
occupation computer scientist ⓘ
researcher ⓘ
researchInterest concurrent and distributed systems ⓘ
distributed algorithms ⓘ
fault-tolerant computing ⓘ
formal specification ⓘ

Referenced by (17)

Full triples — surface form annotated when it differs from this entity's canonical label.

Turing Award → hasNotableRecipient → Leslie Lamport ⓘ
Leslie Lamport → name → Leslie Lamport self-link ⓘ
Leslie Lamport → familyName → Leslie Lamport self-linksurface differs ⓘ
this entity surface form: Lamport
LaTeX → creator → Leslie Lamport ⓘ
Paxos consensus algorithm → designedBy → Leslie Lamport ⓘ
Paxos consensus algorithm → correctnessProvedBy → Leslie Lamport ⓘ
Temporal Logic of Actions → creator → Leslie Lamport ⓘ
Temporal Logic of Actions → firstDescribedBy → Leslie Lamport ⓘ
Byzantine Generals Problem → hasAuthor → Leslie Lamport ⓘ
Massachusetts Computer Associates → employed → Leslie Lamport ⓘ
Massachusetts Computer Associates → notableEmployee → Leslie Lamport ⓘ
"Time, Clocks, and the Ordering of Events in a Distributed System" → author → Leslie Lamport ⓘ
subject surface form: Time, Clocks, and the Ordering of Events in a Distributed System
"The Part-Time Parliament" → author → Leslie Lamport ⓘ
subject surface form: The Part-Time Parliament
"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs" → author → Leslie Lamport ⓘ
subject surface form: How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
BibTeX → developer → Leslie Lamport ⓘ
Leslie → hasNotableBearer → Leslie Lamport ⓘ
LaTeX User’s Guide and Reference Manual → author → Leslie Lamport ⓘ