Orna Grumberg

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Technion_–_Israel_Institute_of_Technology
gptkbp:awardReceived	gptkb:ACM_Fellow gptkb:CAV_Award
gptkbp:birthYear	1952
gptkbp:coauthor	gptkb:Edmund_M._Clarke gptkb:Doron_Peled
gptkbp:doctoralAdvisor	gptkb:Amir_Pnueli
gptkbp:employer	gptkb:Technion_–_Israel_Institute_of_Technology
gptkbp:field	computer science formal verification model checking
gptkbp:gender	gptkb:female
gptkbp:memberOf	gptkb:Academia_Europaea
gptkbp:nationality	gptkb:Israeli
gptkbp:notableWork	gptkb:Model_Checking_(book)
gptkbp:occupation	gptkb:computer_scientist
gptkbp:bfsParent	gptkb:Ehud_Shapiro
gptkbp:bfsLayer	5
https://www.w3.org/2000/01/rdf-schema#label	Orna Grumberg