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
|