Frank Pfenning

Not registered as user yet

Name:Frank Pfenning

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
Research interests:Programming Languages, Logic and Type Theory, Logical Frameworks, Automated Deduction, Trustworthy Computing


Show activities from other conferences

POPL 2018-profile
View general profile