Frank Pfenning
Ph.D. Carnegie Mellon University 1987
Dissertation:
Proof Transformations in Higher-Order Logic
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor: Peter Bruce Andrews
Students:
Click
here to see the students listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Anderson, Ann | Carnegie Mellon University | 1993 | |
| Autexier, Serge | Universität des Saarlandes | 2003 | |
| Benzmüller, Christoph | Universität des Saarlandes | 1999 | 8 |
| Cervesato, Iliano | University of Turin | 1996 | |
| Chaudhuri, Kaustuv | Carnegie Mellon University | 2006 | |
| Davies, Rowan | Carnegie Mellon University | 2005 | |
| Derakhshan, Farzaneh | Carnegie Mellon University | 2021 | |
| Dietzen, Scott | Carnegie Mellon University | 1992 | |
| Dunfield, Jana | Carnegie Mellon University | 2007 | |
| Elliott, Conal | Carnegie Mellon University | 1990 | |
| Freeman, Timothy | Carnegie Mellon University | 1994 | |
| Garg, Deepak | Carnegie Mellon University | 2009 | 6 |
| Gommerstadt, Hannah | Carnegie Mellon University | 2019 | |
| Heintze, Nevin | Carnegie Mellon University | 1993 | |
| Henry, DeYoung | Carnegie Mellon University | 2020 | |
| Kavanagh, Ryan | Carnegie Mellon University | 2021 | |
| Kohlhase, Michael | Universität des Saarlandes | 1994 | 14 |
| Lovas, William | Carnegie Mellon University | 2010 | |
| Martens, Chris | Carnegie Mellon University | 2015 | 1 |
| Michaylov, Spiro | Carnegie Mellon University | 1992 | |
| Momigliano, Alberto | Carnegie Mellon University | 2000 | |
| Nanevski, Aleksandar | Carnegie Mellon University | 2004 | 1 |
| Park, Sungwoo | Carnegie Mellon University | 2005 | |
| Penn, Gerald | Carnegie Mellon University | 2000 | 4 |
| Pientka, Brigitte | Carnegie Mellon University | 2003 | 4 |
| Polakow, Jeff | Carnegie Mellon University | 2001 | |
| Rabe, Florian | Jacobs University Bremen | 2008 | 3 |
| Reed, Jason | Carnegie Mellon University | 2009 | |
| Schuermann, Carsten | Carnegie Mellon University | 2000 | 5 |
| Simmons, Robert | Carnegie Mellon University | 2012 | |
| Sojakova, Kristina | Carnegie Mellon University | 2016 | |
| Toninho, Bernardo | Carnegie Mellon University and Universidade Nova de Lisboa | 2015 | |
| Virga, Roberto | Carnegie Mellon University | 1999 | |
| Xi, Hongwei | Carnegie Mellon University | 1998 | 3 |
| Zeilberger, Noam | Carnegie Mellon University | 2009 | 2 |
According to our current on-line database, Frank Pfenning has 35 students and 72 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.