Leslie Lamport

GPTKB entity

Statements (72)
Predicate Object
gptkbp:instance_of gptkb:award
gptkb:Computer_Scientist
gptkbp:alma_mater gptkb:Massachusetts_Institute_of_Technology
gptkb:University_of_California,_Berkeley
gptkbp:awards gptkb:Turing_Award
gptkb:National_Medal_of_Science
gptkbp:birth_date 1941-02-07
gptkbp:birth_place gptkb:New_York_City,_New_York,_USA
gptkbp:children 2
gptkbp:contribution Distributed systems
gptkbp:employees gptkb:Digital_Equipment_Corporation
gptkb:Microsoft_Research
gptkb:SRI_International
gptkbp:field algorithm design
distributed systems
formal methods
https://www.w3.org/2000/01/rdf-schema#label Leslie Lamport
gptkbp:influenced gptkb:Andrew_S._Tanenbaum
gptkb:Barbara_Liskov
gptkbp:influenced_by gptkb:John_von_Neumann
gptkb:Alan_Turing
gptkbp:known_for gptkb:La_Te_X
Temporal logic
Paxos algorithm
gptkbp:notable_feature Distributed databases
Model checking
Network protocols
Real-time systems
Eventual consistency
Byzantine fault tolerance
Algorithmic game theory
Distributed transactions
Formal methods in software engineering
State machine replication
Data consistency in distributed systems
Cloud computing principles
Artificial intelligence in distributed systems
Blockchain technology principles
Concurrency control in databases
Consensus in distributed systems
Distributed computing principles
Distributed snapshot algorithm
Distributed system architectures
Error detection in distributed systems
Fault-tolerant systems
Formal verification of algorithms
Internet of Things (Io T) principles
La Te X typesetting system
Load balancing in distributed systems
Logical clocks
Machine learning in distributed systems
Mutex algorithm
Paxos consensus algorithm
Performance analysis of algorithms
Proofs of correctness for distributed algorithms
Recovery in distributed systems
Resource allocation in distributed systems
Scalability in distributed systems
Snapshot isolation
Synchronization in distributed systems
TLA+ temporal logic
Temporal logic in computer science
Specification and verification of concurrent systems
gptkbp:residence gptkb:California,_USA
gptkbp:spouse gptkb:Mary_Lamport
gptkbp:website http://lamport.azurewebsites.net/
gptkbp:won gptkb:Turing_Award
gptkbp:year gptkb:2013
gptkbp:bfsParent gptkb:Turing_Award
gptkb:Stanford_Research_Institute
gptkb:IEEE_Medal_of_Honor
gptkbp:bfsLayer 3