Paulo Oliva
Original record- Institution
- Aarhus University
- Year
- 2003
- Country
- Denmark
- MGP identifier
- 85462
Dissertation: Proof Mining in Subsystems of Analysis
Advisor 1
- Ulrich Wilhelm KohlenbachInstitution not recorded
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Federico Aschieri | Università di Torino and Queen Mary, University of London | 2011 | 0 |
| Andrew Lewis-Smith | Not recorded | — | 0 |
| Thomas Rhidian John Powell | Queen Mary, University of London | 2013 | 1 |