Orna Grumberg

URI: https://gptkb.org/entity/Orna_Grumberg
GPTKB entity
Statements (20)
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 female
https://www.w3.org/2000/01/rdf-schema#label Orna Grumberg
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