Specification and Verification in Introductory Computer Science
Speaker Details
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.
- Date:
- Speakers:
- Frank Pfenning
- Affiliation:
- Carnegie Mellon University
-
-
Jeff Running
-
