Frank Pfenning

Not registered as user yet

Name: Frank Pfenning

Bio: Frank Pfenning is Joseph F. Traub Professor and Head of the Computer Science Department at Carnegie Mellon University. He obtained his PhD in Mathematics at Carnegie Mellon University in 1987. He served as trustee and president of CADE, chaired several conferences and program committees including FoSSaCS 2013, LICS 2008, CADE 2007, and RTA 2006, and served on the editorial board of TCS, JAR, and JSC, and was named Fellow of the ACM in 2015. His current research interests include expressive type systems for functional, concurrent, and logic programming languages, computer security, logical frameworks, and automated deduction.

Country: United States

Affiliation: Carnegie Mellon University, USA

Personal website:

Research interests: Programming Languages, Logic and Type Theory, Logical Frameworks, Automated Deduction, Trustworthy Computing


PEPM 2018Session Chair of Session 1-3 (part of PEPM 2018)
Committee Member in Programme Committee within the PEPM 2018-track
POPL 2018Author of Message-Passing Concurrency and Substructural Logics within the TutorialFest-track
Show activities from other conferences

POPL 2018-profile
View general profile