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 head of the Computer Science Department at Carnegie Mellon University.[1]
- ^ "Frank Pfenning Named Head of Carnegie Mellon's Computer Science Department". January 8, 2013. Retrieved 9 January 2013.