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.