About: Frank Pfenning

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

American computer scientist

Property	Value
dbo:award	dbr:ACM_Fellow
dbo:birthPlace	dbr:Rüsselsheim_am_Main
dbo:description	американський науковець у галузі комп'ютерних технологій (uk) American computer scientist (en) informaticien américain (fr) informaticus (nl)
dbo:doctoralAdvisor	dbr:Peter_B._Andrews
dbo:doctoralStudent	dbr:Michael_Kohlhase dbr:Brigitte_Pientka dbr:Gerald_Penn_(computer_scientist)
dbo:institution	dbr:Carnegie_Mellon_University
dbo:thumbnail	wiki-commons:Special:FilePath/Frank_Pfenning.jpg?width=300
dbo:wikiPageExternalLink	https://www.cs.cmu.edu/~fp/ http://www.cs.cmu.edu/~fp/
dbo:wikiPageWikiLink	dbc:Living_people dbr:Mathematics dbr:Sharon_Needles dbc:German_computer_scientists dbr:Carnegie_Mellon_University dbr:Computer_science dbr:Logic dbr:Philosophy dbr:Rüsselsheim_am_Main dbc:People_from_Rüsselsheim dbr:Automated_theorem_proving dbr:Type_theory dbr:Technische_Universität_Darmstadt dbr:Imperative_programming dbr:Michael_Kohlhase dbc:Year_of_birth_missing_(living_people) dbr:Gerald_Penn_(computer_scientist) dbr:Programming_language_theory dbc:Technische_Universität_Darmstadt_alumni dbc:20th-century_German_mathematicians dbc:Programming_language_researchers dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:Carnegie_Mellon_University_alumni dbc:Carnegie_Mellon_University_faculty dbr:Twelf dbc:21st-century_German_mathematicians dbr:LF_(logical_framework) dbr:List_of_Fellows_of_the_Association_for_Computing_Machinery dbr:Peter_B._Andrews_(mathematician) dbr:File:Frank_Pfenning.jpg
dbp:awards	dbr:ACM_Fellow
dbp:birthPlace	Rüsselsheim am Main, Germany (en)
dbp:caption	Mathematical Foundations of Programming Semantics (en)
dbp:doctoralAdvisor	dbr:Peter_B._Andrews
dbp:doctoralStudents	dbr:Michael_Kohlhase dbr:Brigitte_Pientka dbr:Gerald_Penn_(computer_scientist) (en)
dbp:education	dbr:Carnegie_Mellon_University dbr:Technische_Universität_Darmstadt
dbp:name	Frank Pfenning (en)
dbp:spouse	Nancy Pfenning (en)
dbp:website	http://www.cs.cmu.edu/~fp/
dbp:wikiPageUsesTemplate	dbt:Compu-scientist-stub dbt:Authority_control dbt:Infobox_scientist dbt:Official_website dbt:Reflist dbt:Short_description dbt:ML_programming
dbp:workplaces	dbr:Carnegie_Mellon_University
dct:subject	dbc:Living_people dbc:German_computer_scientists dbc:People_from_Rüsselsheim dbc:Year_of_birth_missing_(living_people) dbc:Technische_Universität_Darmstadt_alumni dbc:20th-century_German_mathematicians dbc:Programming_language_researchers dbc:Carnegie_Mellon_University_alumni dbc:Carnegie_Mellon_University_faculty dbc:2015_fellows_of_the_Association_for_Computing_Machinery dbc:21st-century_German_mathematicians
gold:hypernym	dbr:Professor
schema:sameAs	http://viaf.org/viaf/49903263
rdf:type	owl:Thing foaf:Person dbo:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Animal dbo:Eukaryote dbo:Eukaryote dbo:Scientist dbo:Scientist dbo:Scientist dbo:Species dbo:Species schema:Person
rdfs:label	Frank Pfenning (en)
owl:sameAs	yago-res:Frank Pfenning freebase:Frank Pfenning http://viaf.org/viaf/49903263 https://orcid.org/0000-0002-8279-5817 wikidata:Frank Pfenning https://dblp.org/pid/p/FPfenning http://data.bibliotheken.nl/id/thes/p255176252 dbpedia-global:Frank Pfenning
prov:wasDerivedFrom	wikipedia-en:Frank_Pfenning?oldid=1283245803&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Frank_Pfenning.jpg
foaf:homepage	http://www.cs.cmu.edu/~fp/ http://www.cs.cmu.edu/~fp/
foaf:isPrimaryTopicOf	wikipedia-en:Frank_Pfenning
foaf:name	Frank Pfenning (en)
is dbo:doctoralAdvisor of	dbr:Michael_Kohlhase__Michael_Kohlhase__1 dbr:Gerald_Penn_(computer_scientist) dbr:Christoph_Benzmüller
is dbo:wikiPageRedirects of	dbr:Pfenning,_Frank
is dbo:wikiPageWikiLink of	dbr:Logical_framework dbr:Handbook_of_Automated_Reasoning dbr:List_of_fellows_of_the_Association_for_Computing_Machinery dbr:Michael_Kohlhase dbr:Peter_B._Andrews dbr:Symposium_on_Logic_in_Computer_Science dbr:Proof_assistant dbr:Types_and_Programming_Languages dbr:Conference_on_Automated_Deduction dbr:Analytic_proof dbr:Gerald_Penn_(computer_scientist) dbr:Dependent_ML dbr:Srinivasan_Seshan dbr:Pfennig_(surname) dbr:Pfenning,_Frank
is dbp:doctoralAdvisor of	dbr:Michael_Kohlhase dbr:Gerald_Penn_(computer_scientist)
is dbp:doctoralStudents of	dbr:Peter_B._Andrews
is foaf:primaryTopic of	wikipedia-en:Frank_Pfenning