GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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