Orna Kupferman

URI: https://gptkb.org/entity/Orna_Kupferman
GPTKB entity
Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:Hebrew_University_of_Jerusalem
gptkbp:award gptkb:Michael_Bruno_Memorial_Award
gptkbp:birthYear 1966
gptkbp:doctoralAdvisor gptkb:Moshe_Vardi
gptkbp:employer gptkb:Hebrew_University_of_Jerusalem
gptkbp:field gptkb:logic
automata theory
computer science
formal verification
gptkbp:gender gptkb:female
gptkbp:nationality gptkb:Israeli
gptkbp:occupation gptkb:computer_scientist
gptkbp:position gptkb:professor
gptkbp:bfsParent gptkb:Moshe_Vardi
gptkbp:bfsLayer 5
https://www.w3.org/2000/01/rdf-schema#label Orna Kupferman