Frank Pfenning
Professor
Computer Science Department
Orcid identifier0000-0002-8279-5817 (opens in a new tab)
- ProfessorComputer Science Department
- (412) 268-6343 (Work)
- Carnegie Mellon University, Computer Science Department, 5000 Forbes Avenue, Pittsburgh, PA, 15213, United States
BIO
Frank Pfenning studied Mathematics and Computer Science at the Technical University Darmstadt and then left for Carnegie Mellon University on a Fulbright scholarship where he obtained his Ph.D. in Mathematics in 1987 under the supervision of Professor Peter Andrews.
He subsequently joined the Computer Science Department at Carnegie Mellon University as research faculty where he became Professor in 2002 and served as Director of Graduate Programs from 2004 to 2008 and Associate Dean for Graduate Education from 2009 to 2010. He served as Head of the Computer Science Department and Joseph F. Traub Professor of Computer Science from 2013 to 2018.
He has spent time as visiting scientist at the Max-Planck-Institute for Computer Science in Saarbrücken, as Alexander-von-Humboldt fellow at the Technical University Darmstadt, and as visiting professor at École Polytechnique and INRIA-Futurs. He has advised 29 completed Ph.D. theses and won the Herbert A. Simon Award for Teaching Excellence in the School of Computer Science in 2002.
He served as trustee, vice president, and president of CADE, Inc., the governing body of the International Conference on Automated Deduction, and on advisory boards for INRIA, the Max-Planck-Institute for Computer Science, and Seoul National University. He has chaired several conferences and program committees, including CADE and LICS, and has been a member of the editorial boards for Theoretical Computer Science, Journal of Automated Reasoning, and the Journal of Symbolic Computation. He was named Fellow of the ACM in 2015.
He subsequently joined the Computer Science Department at Carnegie Mellon University as research faculty where he became Professor in 2002 and served as Director of Graduate Programs from 2004 to 2008 and Associate Dean for Graduate Education from 2009 to 2010. He served as Head of the Computer Science Department and Joseph F. Traub Professor of Computer Science from 2013 to 2018.
He has spent time as visiting scientist at the Max-Planck-Institute for Computer Science in Saarbrücken, as Alexander-von-Humboldt fellow at the Technical University Darmstadt, and as visiting professor at École Polytechnique and INRIA-Futurs. He has advised 29 completed Ph.D. theses and won the Herbert A. Simon Award for Teaching Excellence in the School of Computer Science in 2002.
He served as trustee, vice president, and president of CADE, Inc., the governing body of the International Conference on Automated Deduction, and on advisory boards for INRIA, the Max-Planck-Institute for Computer Science, and Seoul National University. He has chaired several conferences and program committees, including CADE and LICS, and has been a member of the editorial boards for Theoretical Computer Science, Journal of Automated Reasoning, and the Journal of Symbolic Computation. He was named Fellow of the ACM in 2015.
ACADEMIC POSITIONS
- Professor of Computer ScienceCarnegie Mellon University, Computer Science Department, Pittsburgh, United States1 Jan 2002 - present
- Joseph F. Traub Professor and HeadCarnegie Mellon University, Computer Science Department, Pittsburgh, United States2013 - 2018
- Associate Dean for Graduate EducationCarnegie Mellon University, Computer Science Department, Pittsburgh, United States1 Jan 2009 - 1 Jan 2010
- Director of Graduate ProgramsCarnegie Mellon University, Computer Science Department, Pittsburgh, United States1 Jan 2004 - 1 Jan 2008
- Associate Professor of Computer ScienceCarnegie Mellon University, Computer Science Department, Pittsburgh, United States1999 - 2002
- Senior Research Computer ScientistCarnegie Mellon University, Pittsburgh, United States1 Jan 1994 - 1 Jan 1999
- Research Computer ScientistCarnegie Mellon University, Pittsburgh, United States1 Jan 1988 - 1 Jan 1994
- Research AssociateCarnegie Mellon University, Pittsburgh, United States1 Jan 1986 - 1 Jan 1988
- Visiting ProfessorBrown University, Providence, United States1 Jan 2019 - 1 Aug 2019
- Visiting ProfessorÉcole Polytechnique, Laboratoire d'informatique, Palaiseau, France1 Jun 2006 - 1 Jul 2006
- Visiting ProfessorTechnical University of Darmstadt, Departments of Mathematics and Computer Science, Darmstadt, Germany1 Jan 1996 - 1 Jun 1996
- Visiting ScientistMax Planck Institute for Informatics, Saarbrücken, Germany1 Jun 1991 - 1 Aug 1991
DEGREES
- Ph.D.Carnegie Mellon University, Pittsburgh, United States1981 - 1986
- M.S.Carnegie Mellon University, Pittsburgh, United States1980 - 1981
- VordiplomTechnical University of Darmstadt, Darmstadt, Germany1977 - 1980
CAMPUS
- Pittsburgh
SUSTAINABLE DEVELOPMENT GOALS
- 10 Reduced Inequalities
- 4 Quality Education