Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Frank_Pfenning> ?p ?o }
Showing triples 1 to 70 of
70
with 100 triples per page.
- Frank_Pfenning abstract "Frank Pfenning is a professor of computer science, adjunct professor in the department of philosophy, and head of the Computer Science Department at Carnegie Mellon University. He received his Ph.D. from the Carnegie Mellon University Department of Mathematics in 1987, for his dissertation entitled Proof Transformations in Higher-Order Logic. He was a student of Peter B. Andrews. His research includes work in the area of programming languages, logic and type theory,logical frameworks, automated deduction, and trustworthy computing. He is one of the principal authors of the Twelf system. He also developed Carnegie Mellon's introductory imperative programming course for undergraduates and the C0 programming language used in this course.In 2015 he was named a fellow of the Association for Computing Machinery \"for contributions to the logical foundations of automatic theorem proving and types for programming languages.\"He is a competitive squash player, ranked in the top three of the university's squash ladder.".
- Frank_Pfenning thumbnail Frank_Pfenning.jpg?width=300.
- Frank_Pfenning wikiPageExternalLink ~fp.
- Frank_Pfenning wikiPageID "6370067".
- Frank_Pfenning wikiPageLength "2636".
- Frank_Pfenning wikiPageOutDegree "22".
- Frank_Pfenning wikiPageRevisionID "694693912".
- Frank_Pfenning wikiPageWikiLink Association_for_Computing_Machinery.
- Frank_Pfenning wikiPageWikiLink Automated_theorem_proving.
- Frank_Pfenning wikiPageWikiLink Carnegie_Mellon_University.
- Frank_Pfenning wikiPageWikiLink Category:Carnegie_Mellon_University_alumni.
- Frank_Pfenning wikiPageWikiLink Category:Carnegie_Mellon_University_faculty.
- Frank_Pfenning wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Frank_Pfenning wikiPageWikiLink Category:Living_people.
- Frank_Pfenning wikiPageWikiLink Category:Programming_language_researchers.
- Frank_Pfenning wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Frank_Pfenning wikiPageWikiLink Computer_science.
- Frank_Pfenning wikiPageWikiLink Fellow.
- Frank_Pfenning wikiPageWikiLink Imperative_programming.
- Frank_Pfenning wikiPageWikiLink Logic.
- Frank_Pfenning wikiPageWikiLink Logical_framework.
- Frank_Pfenning wikiPageWikiLink Mathematics.
- Frank_Pfenning wikiPageWikiLink Peter_B._Andrews.
- Frank_Pfenning wikiPageWikiLink Philosophy.
- Frank_Pfenning wikiPageWikiLink Programming_language_theory.
- Frank_Pfenning wikiPageWikiLink Twelf.
- Frank_Pfenning wikiPageWikiLink Type_theory.
- Frank_Pfenning wikiPageWikiLink File:Frank_Pfenning.jpg.
- Frank_Pfenning wikiPageWikiLinkText "Frank Pfenning".
- Frank_Pfenning wikiPageWikiLinkText "Pfenning, Frank".
- Frank_Pfenning name "Pfenning, Frank".
- Frank_Pfenning shortDescription "American computer scientist".
- Frank_Pfenning wikiPageUsesTemplate Template:Authority_control.
- Frank_Pfenning wikiPageUsesTemplate Template:Compu-scientist-stub.
- Frank_Pfenning wikiPageUsesTemplate Template:Persondata.
- Frank_Pfenning wikiPageUsesTemplate Template:Reflist.
- Frank_Pfenning description "American computer scientist".
- Frank_Pfenning description "American computer scientist".
- Frank_Pfenning subject Category:Carnegie_Mellon_University_alumni.
- Frank_Pfenning subject Category:Carnegie_Mellon_University_faculty.
- Frank_Pfenning subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Frank_Pfenning subject Category:Living_people.
- Frank_Pfenning subject Category:Programming_language_researchers.
- Frank_Pfenning subject Category:Year_of_birth_missing_(living_people).
- Frank_Pfenning hypernym Professor.
- Frank_Pfenning type Agent.
- Frank_Pfenning type List.
- Frank_Pfenning type Person.
- Frank_Pfenning type Scientist.
- Frank_Pfenning type Person.
- Frank_Pfenning type List.
- Frank_Pfenning type Scientist.
- Frank_Pfenning type Agent.
- Frank_Pfenning type NaturalPerson.
- Frank_Pfenning type Thing.
- Frank_Pfenning type Q215627.
- Frank_Pfenning type Q5.
- Frank_Pfenning type Person.
- Frank_Pfenning comment "Frank Pfenning is a professor of computer science, adjunct professor in the department of philosophy, and head of the Computer Science Department at Carnegie Mellon University. He received his Ph.D. from the Carnegie Mellon University Department of Mathematics in 1987, for his dissertation entitled Proof Transformations in Higher-Order Logic. He was a student of Peter B. Andrews.".
- Frank_Pfenning label "Frank Pfenning".
- Frank_Pfenning sameAs Q15487688.
- Frank_Pfenning sameAs m.0g2vxr.
- Frank_Pfenning sameAs Q15487688.
- Frank_Pfenning wasDerivedFrom Frank_Pfenning?oldid=694693912.
- Frank_Pfenning depiction Frank_Pfenning.jpg.
- Frank_Pfenning givenName "Frank".
- Frank_Pfenning isPrimaryTopicOf Frank_Pfenning.
- Frank_Pfenning name "Frank Pfenning".
- Frank_Pfenning name "Pfenning, Frank".
- Frank_Pfenning surname "Pfenning".