Ras Bodik

URI: https://gptkb.org/entity/Ras_Bodik
GPTKB entity
Statements (14)
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
https://www.w3.org/2000/01/rdf-schema#label Ras Bodik
gptkbp:nationality gptkb:Romanian
gptkbp:notableStudent Armando Solar-Lezama
gptkbp:occupation gptkb:computer_scientist
gptkb:professor
gptkbp:bfsParent gptkb:Paul_Hilfinger
gptkbp:bfsLayer 7