Frank Pfenning
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. He is a competitive squash player, ranked in the top five of the university's squash ladder. He has also appeared in an experimental film alongside Sharon Needles.
Conference on Automated DeductionDependent MLHandbook of Automated ReasoningHigher-order abstract syntaxList of fellows of the Association for Computing MachineryLogical frameworkPeter B. AndrewsPfennig (surname)Proof assistantSrinivasan SeshanSymposium on Logic in Computer ScienceTypes and Programming Languages
Link from a Wikipage to another Wikipage
primaryTopic
Frank Pfenning
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. He is a competitive squash player, ranked in the top five of the university's squash ladder. He has also appeared in an experimental film alongside Sharon Needles.
has abstract
Frank Pfenning is a professor ...... film alongside Sharon Needles.
@en
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,007,262,102
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
sameAs
comment
Frank Pfenning is a professor ...... film alongside Sharon Needles.
@en
label
Frank Pfenning
@en