George Necula

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:computer_scientist
gptkbp:almaMater	gptkb:Carnegie_Mellon_University
gptkbp:award	gptkb:Grace_Murray_Hopper_Award
gptkbp:birthPlace	gptkb:Romania
gptkbp:doctoralAdvisor	gptkb:Peter_Lee
gptkbp:employer	gptkb:University_of_California,_Berkeley
gptkbp:field	computer science
gptkbp:knownFor	gptkb:proof-carrying_code
gptkbp:nationality	gptkb:Romanian
gptkbp:occupation	gptkb:professor
gptkbp:researchArea	gptkb:programming_language formal methods software verification
gptkbp:bfsParent	gptkb:Sumit_Gulwani
gptkbp:bfsLayer	6
https://www.w3.org/2000/01/rdf-schema#label	George Necula