George Necula

URI: https://gptkb.org/entity/George_Necula
GPTKB entity
Statements (16)
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
https://www.w3.org/2000/01/rdf-schema#label George Necula
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:proof-carrying_code
gptkbp:bfsLayer 5