|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:Brandeis_University
gptkb:MIT
|
|
gptkbp:awardReceived
|
gptkb:IEEE_John_von_Neumann_Medal
gptkb:Dijkstra_Prize
Turing Award
|
|
gptkbp:birthDate
|
1941-02-07
|
|
gptkbp:birthPlace
|
gptkb:New_York_City
|
|
gptkbp:doctoralAdvisor
|
gptkb:Richard_Palais
|
|
gptkbp:employer
|
gptkb:Digital_Equipment_Corporation
gptkb:Microsoft_Research
gptkb:SRI_International
|
|
gptkbp:field
|
concurrent computing
distributed systems
formal methods
|
|
gptkbp:fullName
|
gptkb:Leslie_Lamport
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
L. Lamport
|
|
gptkbp:knownFor
|
gptkb:TLA+
gptkb:Byzantine_Generals_Problem
gptkb:LaTeX
gptkb:Lamport_timestamps
gptkb:Paxos_algorithm
|
|
gptkbp:memberOf
|
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:National_Academy_of_Engineering
|
|
gptkbp:nationality
|
gptkb:American
|
|
gptkbp:notableWork
|
gptkb:Specifying_Systems:_The_TLA+_Language_and_Tools_for_Hardware_and_Software_Engineers
gptkb:The_Byzantine_Generals_Problem
gptkb:The_Part-Time_Parliament
gptkb:Time,_Clocks,_and_the_Ordering_of_Events_in_a_Distributed_System
LaTeX: A Document Preparation System
|
|
gptkbp:occupation
|
gptkb:computer_scientist
|
|
gptkbp:spouse
|
Nancy Lamport
|
|
gptkbp:TuringAwardYear
|
2013
fundamental contributions to the theory and practice of distributed and concurrent systems
|
|
gptkbp:website
|
https://lamport.azurewebsites.net/
|
|
gptkbp:bfsParent
|
gptkb:Computer_Systems_Established,_Maintained,_and_Trusted_by_Mutually_Suspicious_Groups
|
|
gptkbp:bfsLayer
|
6
|