Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:almaMater |
gptkb:Massachusetts_Institute_of_Technology
|
| gptkbp:awardedBy |
Turing Award
|
| gptkbp:birthDate |
1940-03-07
|
| gptkbp:birthPlace |
gptkb:New_York_City
|
| gptkbp:contribution |
TLA+
Paxos_Consensus_Algorithm |
| gptkbp:field |
Computer Science
|
| https://www.w3.org/2000/01/rdf-schema#label |
L. Lamport
|
| gptkbp:influenced |
Distributed Computing
|
| gptkbp:influencedBy |
gptkb:John_von_Neumann
|
| gptkbp:knownFor |
gptkb:LaTeX
Distributed Systems Temporal_Logic |
| gptkbp:nationality |
American
|
| gptkbp:occupation |
Researcher
|