Doron Peled

URI: https://gptkb.org/entity/Doron_Peled

GPTKB entity

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
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
https://www.w3.org/2000/01/rdf-schema#label	Doron Peled