Doron Peled

URI: https://gptkb.org/entity/Doron_Peled
GPTKB entity
Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:Technion_–_Israel_Institute_of_Technology
gptkbp:author gptkb:Software_Reliability_Methods
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 Peled
gptkbp:knownFor model checking
partial order reduction
gptkbp:memberOf gptkb:Academia_Europaea
gptkbp:nationality gptkb:Israeli
gptkbp:occupation gptkb:computer_scientist
gptkbp:bfsParent gptkb:Orna_Grumberg
gptkbp:bfsLayer 6