Frank Pfenning
| Frank Pfenning | |
|---|---|
| Mathematical Foundations of Programming Semantics (Pittsburgh, May 2004) | |
| Born | Rüsselsheim am Main, Germany | 
| Education | Technische Universität Darmstadt Carnegie Mellon University | 
| Spouse | Nancy Pfenning | 
| Awards | ACM Fellow (2015) | 
| Scientific career | |
| Institutions | Carnegie Mellon University | 
| Doctoral advisor | Peter B. Andrews | 
| Doctoral students | |
| Website | http://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.