Frank Pfenning

http://dbpedia.org/resource/Frank_Pfenning an entity of type: Thing

Frank Pfenning is a German-American professor of computer science, adjunct professor in the department of philosophy, and head of the Computer Science Department at Carnegie Mellon University. rdf:langString
rdf:langString Frank Pfenning
rdf:langString Frank Pfenning
rdf:langString Frank Pfenning
rdf:langString Rüsselsheim am Main, Germany
xsd:integer 6370067
xsd:integer 1117942054
rdf:langString Mathematical Foundations of Programming Semantics
rdf:langString Nancy Pfenning
rdf:langString Frank Pfenning is a German-American professor of computer science, adjunct professor in the department of philosophy, and head of the Computer Science Department at Carnegie Mellon University.
xsd:nonNegativeInteger 4589
owl:Thing
foaf:Person
dbpedia-owl:Person
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson>
<http://www.wikidata.org/entity/Q19088>
<http://www.wikidata.org/entity/Q215627>
<http://www.wikidata.org/entity/Q5>
<http://www.wikidata.org/entity/Q729>
dbpedia-owl:Animal
dbpedia-owl:Eukaryote
dbpedia-owl:Scientist
dbpedia-owl:Species
yago:WikicatCarnegieMellonUniversityAlumni
schema-org:Person
yago:WikicatLivingPeople
<http://www.wikidata.org/entity/Q901>
yago:Alumnus109786338
yago:CausalAgent100007347
yago:Intellectual109621545
yago:LivingThing100004258
yago:Object100002684
yago:Organism100004475
yago:Person100007846
yago:PhysicalEntity100001930
yago:ResearchWorker110523076
yago:YagoLegalActor
yago:YagoLegalActorGeo
yago:Scholar110557854
yago:Scientist110560637
yago:Whole100003553
yago:WikicatProgrammingLanguageResearchers
<http://www.cs.cmu.edu/~fp/>
<http://commons.wikimedia.org/wiki/Special:FilePath/Frank_Pfenning.jpg>
<http://dbpedia.org/resource/Rüsselsheim_am_Main>
<http://dbpedia.org/resource/Category:Programming_language_researchers>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Category:German_computer_scientists>
<http://dbpedia.org/resource/Category:Carnegie_Mellon_University_alumni>
<http://dbpedia.org/resource/Category:Carnegie_Mellon_University_faculty>
<http://dbpedia.org/resource/Category:People_from_Rüsselsheim>
<http://dbpedia.org/resource/Category:Technische_Universität_Darmstadt_alumni>
<http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery>
<http://dbpedia.org/resource/Category:20th-century_German_mathematicians>
<http://dbpedia.org/resource/Category:21st-century_German_mathematicians>
<http://dbpedia.org/resource/Carnegie_Mellon_University>
<http://dbpedia.org/resource/Category:Programming_language_researchers>
<http://dbpedia.org/resource/List_of_Fellows_of_the_Association_for_Computing_Machinery>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Mathematics>
<http://dbpedia.org/resource/Rüsselsheim_am_Main>
<http://dbpedia.org/resource/Category:German_computer_scientists>
<http://dbpedia.org/resource/Logic>
<http://dbpedia.org/resource/Computer_science>
<http://dbpedia.org/resource/Programming_language_theory>
<http://dbpedia.org/resource/Automated_theorem_proving>
<http://dbpedia.org/resource/Category:Carnegie_Mellon_University_alumni>
<http://dbpedia.org/resource/Category:Carnegie_Mellon_University_faculty>
<http://dbpedia.org/resource/Category:People_from_Rüsselsheim>
<http://dbpedia.org/resource/Category:Technische_Universität_Darmstadt_alumni>
<http://dbpedia.org/resource/Type_theory>
<http://dbpedia.org/resource/Gerald_Penn_(computer_scientist)>
<http://dbpedia.org/resource/Technische_Universität_Darmstadt>
<http://dbpedia.org/resource/Twelf>
<http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery>
<http://dbpedia.org/resource/Category:20th-century_German_mathematicians>
<http://dbpedia.org/resource/Category:21st-century_German_mathematicians>
<http://dbpedia.org/resource/LF_(logical_framework)>
<http://dbpedia.org/resource/Philosophy>
<http://dbpedia.org/resource/Michael_Kohlhase>
<http://dbpedia.org/resource/Sharon_Needles>
<http://dbpedia.org/resource/Imperative_programming>
<http://dbpedia.org/resource/Peter_B._Andrews_(mathematician)>
<http://dbpedia.org/resource/File:Frank_Pfenning.jpg>
<http://www.cs.cmu.edu/~fp/>
<https://www.cs.cmu.edu/~fp/>
<http://rdf.freebase.com/ns/m.0g2vxr>
<http://yago-knowledge.org/resource/Frank_Pfenning>
<http://viaf.org/viaf/49903263>
<https://dblp.org/pid/p/FPfenning>
<https://orcid.org/0000-0002-8279-5817>
<http://www.wikidata.org/entity/Q15487688>
<http://data.bibliotheken.nl/id/thes/p255176252>
<https://global.dbpedia.org/id/Xm3V>
<http://dbpedia.org/resource/Carnegie_Mellon_University>
<http://dbpedia.org/resource/Template:Authority_control>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:Infobox_scientist>
<http://dbpedia.org/resource/Template:Compu-scientist-stub>
<http://commons.wikimedia.org/wiki/Special:FilePath/Frank_Pfenning.jpg?width=300>
<http://dbpedia.org/resource/Carnegie_Mellon_University>
<http://dbpedia.org/resource/Technische_Universität_Darmstadt>
<http://www.cs.cmu.edu/~fp/>
<http://dbpedia.org/resource/Peter_B._Andrews_(mathematician)>
<http://dbpedia.org/resource/Gerald_Penn_(computer_scientist)>
<http://dbpedia.org/resource/Michael_Kohlhase>
<http://dbpedia.org/resource/Peter_B._Andrews_(mathematician)>
<http://dbpedia.org/resource/Gerald_Penn_(computer_scientist)>
<http://dbpedia.org/resource/Michael_Kohlhase>
<http://dbpedia.org/resource/Carnegie_Mellon_University>
<http://dbpedia.org/resource/Professor>
<http://viaf.org/viaf/49903263>
<http://en.wikipedia.org/wiki/Frank_Pfenning?oldid=1117942054&ns=0>
<http://en.wikipedia.org/wiki/Frank_Pfenning>

data from the linked data cloud