This HTML5 document contains 122 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n28https://web.archive.org/web/20100701155129/http:/hal.cs.berkeley.edu/ccured/
n8https://web.archive.org/web/20100619124453/http:/deputy.cs.berkeley.edu/
n24https://global.dbpedia.org/id/
umbel-rchttp://umbel.org/umbel/rc/
n26http://www.eecs.berkeley.edu/Faculty/Homepages/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n17http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n12https://dblp.org/pid/n/
freebasehttp://rdf.freebase.com/ns/
n27http://www.eecs.berkeley.edu/~necula/
n21http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
n11https://github.com/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
n25https://github.com/cil-project/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:George_Necula
rdf:type
yago:WikicatProgrammingLanguages wikidata:Q215627 yago:WikicatProgrammingLanguageResearchers wikidata:Q901 yago:Organism100004475 yago:LivingThing100004258 yago:Whole100003553 wikidata:Q5 n17:NaturalPerson schema:Person yago:Language106282651 yago:WikicatRomanianComputerScientists wikidata:Q729 yago:PhysicalEntity100001930 dbo:Eukaryote dbo:Person yago:Scientist110560637 yago:WikicatLivingPeople yago:WikicatPeopleFromBaiaMare yago:Alumnus109786338 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Abstraction100002137 yago:ResearchWorker110523076 yago:Intellectual109621545 dbo:Animal yago:Object100002684 foaf:Person owl:Thing yago:CausalAgent100007347 yago:ComputerUser109951274 yago:ComputerScientist109951070 yago:ArtificialLanguage106894544 wikidata:Q19088 dbo:Scientist yago:WikicatCarnegieMellonUniversityAlumni yago:ProgrammingLanguage106898352 yago:Scholar110557854 yago:Communication100033020 umbel-rc:Scientist dbo:Species yago:Person100007846
rdfs:label
George Necula
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.
foaf:name
George Necula
dbp:name
George Necula
foaf:depiction
n21:George_Necula.jpg
dct:subject
dbc:UC_Berkeley_College_of_Engineering_faculty dbc:Living_people dbc:Carnegie_Mellon_University_alumni dbc:People_from_Baia_Mare dbc:Programming_language_researchers dbc:Year_of_birth_missing_(living_people) dbc:Politehnica_University_of_Bucharest_alumni dbc:Romanian_computer_scientists
dbo:wikiPageID
26045702
dbo:wikiPageRevisionID
1117867331
dbo:wikiPageWikiLink
dbr:Alfred_P._Sloan_Foundation dbr:Abstract_syntax_tree dbr:SIGPLAN dbr:Proof-carrying_code dbr:SIGOPS dbc:UC_Berkeley_College_of_Engineering_faculty dbc:Living_people dbr:Google dbr:Formal_methods dbr:Polytechnic_University_of_Bucharest dbr:Peter_Lee_(computer_scientist) dbr:Grace_Murray_Hopper_Award dbc:Year_of_birth_missing_(living_people) dbc:Carnegie_Mellon_University_alumni dbr:Software_verification dbc:People_from_Baia_Mare dbr:Carnegie_Mellon_University dbc:Politehnica_University_of_Bucharest_alumni dbc:Programming_language_researchers dbr:Computer_scientist dbr:Computer_Science dbr:C_(programming_language) dbr:Baia_Mare dbr:Okawa_Foundation dbr:Sloan_Fellowship dbr:Software_engineering dbr:University_of_California,_Berkeley dbc:Romanian_computer_scientists dbr:Romania dbr:Frama-C dbr:Programming_language
dbo:wikiPageExternalLink
n8: n11: n25:cil n26:necula.html n27: n28:
owl:sameAs
freebase:m.0b6gtws n12:GeorgeCNecula yago-res:George_Necula n24:4kXyh wikidata:Q5542805
dbp:workInstitution
dbr:Google
dbp:wikiPageUsesTemplate
dbt:Authority_control dbt:Infobox_scientist dbt:Hopper_winners dbt:Short_description dbt:Reflist
dbo:thumbnail
n21:George_Necula.jpg?width=300
dbp:almaMater
dbr:Polytechnic_University_of_Bucharest
dbp:caption
George Necula in Berkeley in 2010.
dbp:field
dbr:Computer_Science
dbp:knownFor
dbr:Proof-carrying_code
dbp:nationality
Romanian
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.
dbp:doctoralAdvisor
dbr:Peter_Lee_(computer_scientist)
dbo:doctoralAdvisor
dbr:Peter_Lee_(computer_scientist)
gold:hypernym
dbr:Scientist
prov:wasDerivedFrom
wikipedia-en:George_Necula?oldid=1117867331&ns=0
dbo:wikiPageLength
5993
dbo:academicDiscipline
dbr:Computer_Science
dbo:almaMater
dbr:Polytechnic_University_of_Bucharest
dbo:knownFor
dbr:Proof-carrying_code
dbo:nationality
dbr:Romania
foaf:isPrimaryTopicOf
wikipedia-en:George_Necula