Specification and Verification in Introductory Computer Science


November 21, 2013



Frank Pfenning

Frank Pfenning obtain his PhD in Mathematics from Carnegie Mellon University in 1987, where he is now Professor of Computer Science and Associate Dean for Graduate Education. He received the Herbert Simon Award for Teaching Excellence in the School of Computer Science in 2002. He has served as trustee and president of CADE, on advisory boards of INRIA, the Max-Planck-Institute for Computer Science, and Seoul National University, as program chair for several conferences including LICS and CADE, and on the editorial boards of Theoretical Computer Science, Journal of Automated Reasoning, and Journal of Symbolic Computation. His research interests include programming languages, logic and type theory, logical frameworks, automated deduction, and computer security.