Frank Pfenning


Ph.D. Carnegie Mellon University 1987 UnitedStates
Dissertation: Proof Transformations in Higher-Order Logic
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Peter Bruce Andrews

Click here to see the students listed in chronological order.

Ann AndersonCarnegie Mellon University1993
Serge AutexierUniversität des Saarlandes2003
Christoph BenzmuellerUniversität des Saarlandes1999
Iliano CervesatoUniversity of Turin1996
Kaustuv ChaudhuriCarnegie Mellon University2006
Rowan DaviesCarnegie Mellon University2005
Scott DietzenCarnegie Mellon University1992
Joshua DunfieldCarnegie Mellon University2007
Conal ElliottCarnegie Mellon University1990
Timothy FreemanCarnegie Mellon University1994
Deepak GargCarnegie Mellon University2009
Nevin HeintzeCarnegie Mellon University1993
Michael KohlhaseUniversität des Saarlandes19943
William LovasCarnegie Mellon University2010
Chris MartensCarnegie Mellon University2015
Spiro MichaylovCarnegie Mellon University1992
Alberto MomiglianoCarnegie Mellon University2000
Aleksandar NanevskiCarnegie Mellon University2004
Sungwoo ParkCarnegie Mellon University2005
Gerald PennCarnegie Mellon University20003
Brigitte PientkaCarnegie Mellon University2003
Jeff PolakowCarnegie Mellon University2001
Florian RabeJacobs University Bremen2008
Jason ReedCarnegie Mellon University2009
Carsten SchuermannCarnegie Mellon University20004
Robert SimmonsCarnegie Mellon University2012
Bernardo ToninhoCarnegie Mellon University and Universidade Nova de Lisboa2015
Roberto VirgaCarnegie Mellon University1999
Hongwei XiCarnegie Mellon University19983
Noam ZeilbergerCarnegie Mellon University2009

According to our current on-line database, Frank Pfenning has 30 students and 41 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 41491 for the advisor ID.