Doron A. Peled

URI: https://gptkb.org/entity/Doron_A._Peled
GPTKB entity
Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:Technion_–_Israel_Institute_of_Technology
gptkbp:awardReceived gptkb:Edsger_W._Dijkstra_Prize_in_Distributed_Computing
gptkbp:birthYear 1962
gptkbp:doctoralAdvisor gptkb:Amir_Pnueli
gptkbp:employer gptkb:Bar-Ilan_University
gptkbp:field computer science
https://www.w3.org/2000/01/rdf-schema#label Doron A. Peled
gptkbp:knownFor model checking
partial order reduction
gptkbp:nationality gptkb:Israeli
gptkbp:occupation gptkb:computer_scientist
gptkbp:bfsParent gptkb:Model_Checking_(book)
gptkbp:bfsLayer 7