Orna Kupferman

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

GPTKB entity

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