Jan (Jaco) Cornelius van de Pol
Ph.D. Universiteit Utrecht 1996
Dissertation:
Termination of Higher-Order Rewrite Systems
Advisor 1: Johannes (Jan) Aldert Bergstra
Advisor 2: Marcus Aloysius Bezem
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Orzan, Simona | Vrije Universiteit Amsterdam | 2004 | |
| Valero Espada, Miguel | Vrije Universiteit Amsterdam | 2005 | |
| Badban, Bahareh | Vrije Universiteit Amsterdam | 2006 | |
| Wijs, Anton | Vrije Universiteit Amsterdam | 2007 | 2 |
| Calamé, Jens | Universiteit Twente | 2008 | |
| Torabi Dashti, Mohammad | Vrije Universiteit Amsterdam | 2008 | |
| Chen, Taolue | Vrije Universiteit Amsterdam | 2009 | |
| Kuijper, Wouter | Universiteit Twente | 2012 | |
| Timmer, Mark | Universiteit Twente | 2013 | |
| Belinfante, Axel | Universiteit Twente | 2014 | |
| Laarman, Alfons | Universiteit Twente | 2014 | 1 |
| Ngo, Tri Minh | Universiteit Twente | 2014 | |
| Gazda, Maciej | Technische Universiteit Eindhoven | 2016 | |
| van Dijk, Tom | Universiteit Twente | 2016 | |
| Ahmad, Waheed | Universiteit Twente | 2017 | |
| Gerhold, Marcus | Universiteit Twente | 2018 | |
| Oguz, Oguzcan | Universiteit Twente | 2018 | |
| Bloemen, Vincent | Universiteit Twente | 2019 | |
| Meijer, Jeroen | Universiteit Twente | 2019 |
According to our current on-line database, Jan (Jaco) van de Pol has 19 students and 22 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 86933 for the advisor ID.