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.

[2] His research includes work in the area of programming languages, logic and type theory, logical frameworks, automated deduction, and trustworthy computing.

In 2015, he was named a Fellow of the Association for Computing Machinery "for contributions to the logical foundations of automatic theorem proving and types for programming languages.

"[3] In 2016, he received the LICS Test of Time Award for the paper "A Linear Logical Framework",[4] co-authored with Iliano Cervesato.

[5] Pfenning has also appeared in an experimental film alongside Sharon Needles.