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.

Aliases (1)

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 document preparation system →
contributedTo	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 Research → SRI International →
familyName	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 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 →
nationality	United States of America →
notableWork	"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs" → "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 (4)

Subject (surface form when different)	Predicate
LaTeX →	creator
Leslie Lamport ("Lamport") →	familyName
Turing Award →	hasNotableRecipient
Leslie Lamport →	name