Matches in DBpedia 2014 for { <http://dbpedia.org/resource/George_Necula> ?p ?o. }
Showing items 1 to 76 of
76
with 100 items per page.
- George_Necula abstract "George Ciprian Necula is a Romanian computer scientist and 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.".
- George_Necula almaMater Carnegie_Mellon_University.
- George_Necula doctoralAdvisor Peter_Lee_(computer_scientist).
- George_Necula field Computer_science.
- George_Necula knownFor Proof-carrying_code.
- George_Necula nationality Romania.
- George_Necula thumbnail George_Necula.jpg?width=300.
- George_Necula wikiPageExternalLink cil.sourceforge.net.
- George_Necula wikiPageExternalLink deputy.cs.berkeley.edu.
- George_Necula wikiPageExternalLink ccured.
- George_Necula wikiPageExternalLink necula.html.
- George_Necula wikiPageExternalLink ~necula.
- George_Necula wikiPageID "26045702".
- George_Necula wikiPageRevisionID "551669570".
- George_Necula almaMater Carnegie_Mellon_University.
- George_Necula caption "George Necula in Berkeley in 2010.".
- George_Necula doctoralAdvisor Peter_Lee_(computer_scientist).
- George_Necula field Computer_science.
- George_Necula hasPhotoCollection George_Necula.
- George_Necula knownFor Proof-carrying_code.
- George_Necula name "George Necula".
- George_Necula name "Necula, George".
- George_Necula nationality "Romanian".
- George_Necula workInstitution University_of_California,_Berkeley.
- George_Necula subject Category:Carnegie_Mellon_University_alumni.
- George_Necula subject Category:Living_people.
- George_Necula subject Category:People_from_Baia_Mare.
- George_Necula subject Category:Politehnica_University_of_Bucharest_alumni.
- George_Necula subject Category:Programming_language_researchers.
- George_Necula subject Category:Romanian_computer_scientists.
- George_Necula subject Category:University_of_California,_Berkeley_faculty.
- George_Necula type Alumnus109786338.
- George_Necula type CarnegieMellonUniversityAlumni.
- George_Necula type CausalAgent100007347.
- George_Necula type ComputerScientist109951070.
- George_Necula type ComputerUser109951274.
- George_Necula type Intellectual109621545.
- George_Necula type LivingPeople.
- George_Necula type LivingThing100004258.
- George_Necula type Object100002684.
- George_Necula type Organism100004475.
- George_Necula type PeopleFromBaiaMare.
- George_Necula type Person100007846.
- George_Necula type PhysicalEntity100001930.
- George_Necula type ProgrammingLanguageResearchers.
- George_Necula type ResearchWorker110523076.
- George_Necula type RomanianComputerScientists.
- George_Necula type Scholar110557854.
- George_Necula type Scientist110560637.
- George_Necula type Whole100003553.
- George_Necula type YagoLegalActor.
- George_Necula type YagoLegalActorGeo.
- George_Necula type Agent.
- George_Necula type Person.
- George_Necula type Scientist.
- George_Necula type Person.
- George_Necula type Scientist.
- George_Necula type Q215627.
- George_Necula type Q5.
- George_Necula type Agent.
- George_Necula type NaturalPerson.
- George_Necula type Thing.
- George_Necula type Person.
- George_Necula comment "George Ciprian Necula is a Romanian computer scientist and 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.".
- George_Necula label "George Necula".
- George_Necula sameAs m.0b6gtws.
- George_Necula sameAs Q5542805.
- George_Necula sameAs Q5542805.
- George_Necula sameAs George_Necula.
- George_Necula wasDerivedFrom George_Necula?oldid=551669570.
- George_Necula depiction George_Necula.jpg.
- George_Necula givenName "George".
- George_Necula isPrimaryTopicOf George_Necula.
- George_Necula name "George Necula".
- George_Necula name "Necula, George".
- George_Necula surname "Necula".
