Frank Pfenning is a professor of computer science, and adjunct professor in the department of philosophy, 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 Andrews. His research includes work in the area of programming languages, logic and type theory, logical frameworks, automated deduction, … Wikipedia
The definitive Wikipedia entry for Frank Pfenning. Wikipedia is the biggest multilingual free-content encyclopedia on the Internet. en.wikipedia.org/wiki/Frank_Pfenning
Submission to special issue in Journal of Automated Reasoning with selected papers from IJCAR 2006, February 2007. Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems Uluç Saranli and Frank Pfenning . www.cs.cmu.edu/~fp/
