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