Jeremy David Avigad
Original record- Institution
- University of California, Berkeley
- Year
- 1995
- Country
- United States
- MGP identifier
- 32558
Dissertation: Proof-Theoretic Investigations of Subsystems of Second-Order Arithmetic
Advisor 1
- Jack Howard SilverUniversity of California, Berkeley · 1966
Students 9
| Name | Institution | Year | Students |
|---|---|---|---|
| Sicun Gao | Carnegie Mellon University | 2012 | 1 |
| Robert Lewis | Carnegie Mellon University | 2018 | 0 |
| John L. Mumma | Carnegie Mellon University | 2006 | 0 |
| Kerry Emerson Ojakian | Carnegie Mellon University | 2004 | 0 |
| Jason Rute | Carnegie Mellon University | 2013 | 0 |
| Ksenija Simic | Carnegie Mellon University | 2004 | 0 |
| Henry Towsner | Carnegie Mellon University | 2008 | 1 |
| Floris van Doorn | Carnegie Mellon University | 2018 | 0 |
| Yimu Yin | Carnegie Mellon University | 2008 | 1 |