About: George Necula

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

George Ciprian Necula is a Romanian computer scientist, engineer at Google, and former professor at the University of California, Berkeley who does research in the area of programming languages and software engineering, with a particular focus on software verification and formal methods. He is best known for his Ph.D. thesis work first describing proof-carrying code, a work that received the 2007 SIGPLAN Most Influential POPL Paper Award.

Property	Value
dbo:abstract	George Ciprian Necula is a Romanian computer scientist, engineer at Google, and former professor at the University of California, Berkeley who does research in the area of programming languages and software engineering, with a particular focus on software verification and formal methods. He is best known for his Ph.D. thesis work first describing proof-carrying code, a work that received the 2007 SIGPLAN Most Influential POPL Paper Award. (en)
dbo:academicDiscipline	dbr:Computer_Science
dbo:almaMater	dbr:Polytechnic_University_of_Bucharest
dbo:doctoralAdvisor	dbr:Peter_Lee_(computer_scientist)
dbo:knownFor	dbr:Proof-carrying_code
dbo:nationality	dbr:Romania
dbo:thumbnail	wiki-commons:Special:FilePath/George_Necula.jpg?width=300
dbo:wikiPageExternalLink	https://github.com/ https://github.com/cil-project/cil https://web.archive.org/web/20100619124453/http:/deputy.cs.berkeley.edu/ https://web.archive.org/web/20100701155129/http:/hal.cs.berkeley.edu/ccured/ http://www.eecs.berkeley.edu/Faculty/Homepages/necula.html http://www.eecs.berkeley.edu/~necula/
dbo:wikiPageID	26045702 (xsd:integer)
dbo:wikiPageLength	5993 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1117867331 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Carnegie_Mellon_University dbc:Programming_language_researchers dbr:Romania dbc:Romanian_computer_scientists dbr:University_of_California,_Berkeley dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbr:Computer_Science dbr:Google dbr:Computer_scientist dbr:Peter_Lee_(computer_scientist) dbr:Proof-carrying_code dbr:Software_engineering dbr:Baia_Mare dbc:Carnegie_Mellon_University_alumni dbr:C_(programming_language) dbr:Alfred_P._Sloan_Foundation dbr:Frama-C dbr:Formal_methods dbr:Grace_Murray_Hopper_Award dbc:People_from_Baia_Mare dbr:Abstract_syntax_tree dbc:UC_Berkeley_College_of_Engineering_faculty dbc:Politehnica_University_of_Bucharest_alumni dbr:Sloan_Fellowship dbr:Software_verification dbr:Programming_language dbr:SIGPLAN dbr:SIGOPS dbr:Polytechnic_University_of_Bucharest dbr:Okawa_Foundation
dbp:almaMater	dbr:Polytechnic_University_of_Bucharest
dbp:caption	George Necula in Berkeley in 2010. (en)
dbp:doctoralAdvisor	dbr:Peter_Lee_(computer_scientist)
dbp:field	dbr:Computer_Science
dbp:knownFor	dbr:Proof-carrying_code
dbp:name	George Necula (en)
dbp:nationality	Romanian (en)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Short_description dbt:Infobox_scientist dbt:Hopper_winners
dbp:workInstitution	dbr:Google
dcterms:subject	dbc:Programming_language_researchers dbc:Romanian_computer_scientists dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:Carnegie_Mellon_University_alumni dbc:People_from_Baia_Mare dbc:UC_Berkeley_College_of_Engineering_faculty dbc:Politehnica_University_of_Bucharest_alumni
gold:hypernym	dbr:Scientist
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species yago:WikicatCarnegieMellonUniversityAlumni schema:Person yago:WikicatLivingPeople yago:WikicatPeopleFromBaiaMare yago:WikicatRomanianComputerScientists wikidata:Q901 yago:Abstraction100002137 yago:Alumnus109786338 yago:ArtificialLanguage106894544 yago:CausalAgent100007347 yago:Communication100033020 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Intellectual109621545 yago:Language106282651 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:ProgrammingLanguage106898352 yago:ResearchWorker110523076 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatProgrammingLanguageResearchers yago:WikicatProgrammingLanguages umbel-rc:Scientist
rdfs:comment	George Ciprian Necula is a Romanian computer scientist, engineer at Google, and former professor at the University of California, Berkeley who does research in the area of programming languages and software engineering, with a particular focus on software verification and formal methods. He is best known for his Ph.D. thesis work first describing proof-carrying code, a work that received the 2007 SIGPLAN Most Influential POPL Paper Award. (en)
rdfs:label	George Necula (en)
owl:sameAs	freebase:George Necula yago-res:George Necula https://dblp.org/pid/n/GeorgeCNecula wikidata:George Necula https://global.dbpedia.org/id/4kXyh
prov:wasDerivedFrom	wikipedia-en:George_Necula?oldid=1117867331&ns=0
foaf:depiction	wiki-commons:Special:FilePath/George_Necula.jpg
foaf:isPrimaryTopicOf	wikipedia-en:George_Necula
foaf:name	George Necula (en)
is dbo:wikiPageDisambiguates of	dbr:Necula
is dbo:wikiPageRedirects of	dbr:C_Intermediate_Language dbr:Necula,_George
is dbo:wikiPageWikiLink of	dbr:List_of_programming_language_researchers dbr:Necula dbr:Structured_programming dbr:Peter_Lee_(computer_scientist) dbr:Proof-carrying_code dbr:C_Intermediate_Language dbr:Exception_handling dbr:Grace_Murray_Hopper_Award dbr:Politehnica_University_of_Bucharest dbr:Necula,_George
is foaf:primaryTopic of	wikipedia-en:George_Necula