Frank Pfenning

Frank Pfenning
Mathematical Foundations of Programming Semantics (Pittsburgh, May 2004)
Born
EducationTechnische Universität Darmstadt
Carnegie Mellon University
SpouseNancy Pfenning
AwardsACM Fellow (2015)
Scientific career
InstitutionsCarnegie Mellon University
Doctoral advisorPeter B. Andrews
Doctoral students
Websitehttp://www.cs.cmu.edu/~fp/

Frank Pfenning is a German-American professor of computer science, adjunct professor in philosophy, and was head of the Computer Science Department at Carnegie Mellon University from 2013 to 2018.