Frank Pfenning

MathSciNet


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

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Anderson, AnnCarnegie Mellon University1993
Autexier, SergeUniversität des Saarlandes2003
Benzmueller, ChristophUniversität des Saarlandes1999
Cervesato, IlianoUniversity of Turin1996
Chaudhuri, KaustuvCarnegie Mellon University2006
Davies, RowanCarnegie Mellon University2005
Dietzen, ScottCarnegie Mellon University1992
Dunfield, JoshuaCarnegie Mellon University2007
Elliott, ConalCarnegie Mellon University1990
Freeman, TimothyCarnegie Mellon University1994
Garg, DeepakCarnegie Mellon University2009
Heintze, NevinCarnegie Mellon University1993
Kohlhase, MichaelUniversität des Saarlandes19943
Lovas, WilliamCarnegie Mellon University2010
Martens, ChrisCarnegie Mellon University2015
Michaylov, SpiroCarnegie Mellon University1992
Momigliano, AlbertoCarnegie Mellon University2000
Nanevski, AleksandarCarnegie Mellon University2004
Park, SungwooCarnegie Mellon University2005
Penn, GeraldCarnegie Mellon University20003
Pientka, BrigitteCarnegie Mellon University2003
Polakow, JeffCarnegie Mellon University2001
Rabe, FlorianJacobs University Bremen2008
Reed, JasonCarnegie Mellon University2009
Schuermann, CarstenCarnegie Mellon University20004
Simmons, RobertCarnegie Mellon University2012
Toninho, BernardoCarnegie Mellon University and Universidade Nova de Lisboa2015
Virga, RobertoCarnegie Mellon University1999
Xi, HongweiCarnegie Mellon University19983
Zeilberger, NoamCarnegie 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.