Not registered as user yet
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.
|POPL 2018||Message-Passing Concurrency and Substructural Logics|
|PEPM 2018|| Session Chair of Session 1-3 (part of PEPM 2018)|
Committee Member in Programme Committee within the PEPM 2018-track
|Show activities from other conferences|
View general profile