Ras Bodik

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_Pennsylvania
gptkbp:doctoralAdvisor	gptkb:Moshe_Vardi
gptkbp:employer	gptkb:University_of_California,_Berkeley gptkb:University_of_Washington
gptkbp:fieldOfWork	gptkb:programming_language computer science
gptkbp:nationality	gptkb:Romanian
gptkbp:notableStudent	Armando Solar-Lezama
gptkbp:occupation	gptkb:computer_scientist gptkb:professor
gptkbp:bfsParent	gptkb:Paul_Hilfinger
gptkbp:bfsLayer	7
https://www.w3.org/2000/01/rdf-schema#label	Ras Bodik