Frank Pfenning
Original record- Institution
- Carnegie Mellon University
- Year
- 1987
- Country
- United States
- MGP identifier
- 41491
Dissertation: Proof Transformations in Higher-Order Logic
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Peter Bruce AndrewsPrinceton University · 1964
Students 35
| Name | Institution | Year | Students |
|---|---|---|---|
| Ann Pendleton Anderson | Carnegie Mellon University | 1993 | 0 |
| Serge Autexier | Not recorded | — | 0 |
| Christoph E. Benzmüller | Universität des Saarlandes | 1999 | 9 |
| Iliano Cervesato | University of Turin | 1996 | 0 |
| Kaustuv Chaudhuri | Carnegie Mellon University | 2006 | 0 |
| Rowan Davies | Carnegie Mellon University | 2005 | 0 |
| Farzaneh Derakhshan | Carnegie Mellon University | 2021 | 0 |
| Scott Richard Dietzen | Carnegie Mellon University | 1992 | 0 |
| Jana Dunfield | Carnegie Mellon University | 2007 | 0 |
| Conal Elliott | Carnegie Mellon University | 1990 | 0 |
| Timothy Scott Freeman | Carnegie Mellon University | 1994 | 0 |
| Deepak Garg | Carnegie Mellon University | 2009 | 6 |
| Hannah Gommerstadt | Carnegie Mellon University | 2019 | 0 |
| Nevin Heintze | Carnegie Mellon University | 1993 | 0 |
| DeYoung Henry | Carnegie Mellon University | 2020 | 0 |
| Ryan Kavanagh | Carnegie Mellon University | 2021 | 0 |
| Michael Kohlhase | Not recorded | — | 6 |
| William Lovas | Carnegie Mellon University | 2010 | 0 |
| Chris Martens | Carnegie Mellon University | 2015 | 3 |
| Spiro Michaylov | Carnegie Mellon University | 1992 | 0 |
| Alberto Momigliano | Carnegie Mellon University | 2000 | 0 |
| Aleksandar Nanevski | Carnegie Mellon University | 2004 | 1 |
| Sungwoo Park | Carnegie Mellon University | 2005 | 0 |
| Gerald Penn | Carnegie Mellon University | 2000 | 4 |
| Brigitte Pientka | Carnegie Mellon University | 2003 | 3 |
| Jeff Polakow | Carnegie Mellon University | 2001 | 0 |
| Florian Rabe | Jacobs University Bremen | 2008 | 3 |
| Jason Reed | Carnegie Mellon University | 2009 | 0 |
| Carsten Schuermann | Carnegie Mellon University | 2000 | 5 |
| Robert J. Simmons | Carnegie Mellon University | 2012 | 0 |
| Kristina Sojakova | Carnegie Mellon University | 2016 | 0 |
| Bernardo Toninho | Carnegie Mellon University and Universidade Nova de Lisboa | 2015 | 0 |
| Roberto Virga | Carnegie Mellon University | 1999 | 0 |
| Hongwei Xi | Carnegie Mellon University | 1998 | 3 |
| Noam Zeilberger | Not recorded | — | 2 |