gptkbp:instanceOf
|
gptkb:computer_scientist
|
gptkbp:almaMater
|
gptkb:Brandeis_University
gptkb:MIT
|
gptkbp:awardReceived
|
gptkb:IEEE_Emanuel_R._Piore_Award
gptkb:IEEE_John_von_Neumann_Medal
gptkb:Paris_Kanellakis_Award
gptkb:Dijkstra_Prize
Turing Award
|
gptkbp:birthDate
|
1941-02-07
|
gptkbp:birthPlace
|
gptkb:New_York_City
|
gptkbp:doctoralAdvisor
|
gptkb:Richard_Palais
|
gptkbp:doctoralStudent
|
gptkb:Nancy_Lynch
|
gptkbp:employer
|
gptkb:Digital_Equipment_Corporation
gptkb:Microsoft_Research
gptkb:SRI_International
|
gptkbp:fieldOfWork
|
concurrent computing
distributed systems
formal methods
|
https://www.w3.org/2000/01/rdf-schema#label
|
Leslie Lamport
|
gptkbp:knownFor
|
gptkb:Byzantine_Generals_Problem
gptkb:LaTeX
gptkb:Lamport_timestamps
gptkb:Paxos_algorithm
gptkb:TLA+_specification_language
|
gptkbp:memberOf
|
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:Association_for_Computing_Machinery
gptkb:National_Academy_of_Engineering
|
gptkbp:nationality
|
gptkb:American
|
gptkbp:publishedIn
|
gptkb:The_Byzantine_Generals_Problem
gptkb:The_Part-Time_Parliament
gptkb:Time,_Clocks,_and_the_Ordering_of_Events_in_a_Distributed_System
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
|
gptkbp:spouse
|
gptkb:Gloria_Lamport
|
gptkbp:website
|
https://lamport.azurewebsites.net/
|
gptkbp:bfsParent
|
gptkb:Association_for_Computing_Machinery
gptkb:Butler_Lampson
gptkb:Donald_Knuth
gptkb:Edsger_Dijkstra
|
gptkbp:bfsLayer
|
4
|