Jan (Jaco) Cornelius van de Pol
Original record- Institution
- Universiteit Utrecht
- Year
- 1996
- Country
- Netherlands
- MGP identifier
- 86933
Dissertation: Termination of Higher-Order Rewrite Systems
Advisors 2
- Johannes (Jan) Aldert BergstraUniversiteit Utrecht · 1976
- Marcus Aloysius BezemUniversiteit Utrecht · 1986
Students 19
| Name | Institution | Year | Students |
|---|---|---|---|
| Waheed Ahmad | Universiteit Twente | 2017 | 0 |
| Bahareh Badban | Vrije Universiteit Amsterdam | 2006 | 0 |
| Axel Frits Ede Belinfante | Universiteit Twente | 2014 | 0 |
| Vincent Bloemen | Universiteit Twente | 2019 | 0 |
| Jens Rüdiger Calamé | Universiteit Twente | 2008 | 0 |
| Taolue Chen | Not recorded | — | 0 |
| Maciej Gazda | Technische Universiteit Eindhoven | 2016 | 0 |
| Marcus Gerhold | Universiteit Twente | 2018 | 0 |
| Wouter Kuijper | Universiteit Twente | 2012 | 0 |
| Alfons Laarman | Universiteit Twente | 2014 | 2 |
| Jeroen Meijer | Universiteit Twente | 2019 | 0 |
| Tri Minh Ngo | Universiteit Twente | 2014 | 0 |
| Oguzcan Oguz | Universiteit Twente | 2018 | 0 |
| Simona Mihaela Orzan | Vrije Universiteit Amsterdam | 2004 | 0 |
| Mark Timmer | Universiteit Twente | 2013 | 0 |
| Mohammad Torabi Dashti | Vrije Universiteit Amsterdam | 2008 | 0 |
| Miguel Valero Espada | Vrije Universiteit Amsterdam | 2005 | 0 |
| Tom van Dijk | Universiteit Twente | 2016 | 0 |
| Anton Wijs | Vrije Universiteit Amsterdam | 2007 | 2 |