Paulo Oliva
Ph.D. Aarhus University 2003
Dissertation:
Proof Mining in Subsystems of Analysis
Advisor: Ulrich Wilhelm Kohlenbach
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Aschieri, Federico | Università di Torino and Queen Mary, University of London | 2011 | |
| Powell, Thomas | University of London | 2013 | |
| Lewis-Smith, Andrew | Queen Mary, University of London | 2021 |
According to our current on-line database, Paulo Oliva has 3 students and 3 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 85462 for the advisor ID.