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: https://www.cs.cmu.edu/~fp/
Research interests: Programming Languages, Logic and Type Theory, Logical Frameworks, Automated Deduction, Trustworthy Computing
View general profile