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 listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Ahmad, Waheed | Universiteit Twente | 2017 | |
| Badban, Bahareh | Vrije Universiteit Amsterdam | 2006 | |
| Belinfante, Axel | Universiteit Twente | 2014 | |
| Bloemen, Vincent | Universiteit Twente | 2019 | |
| Calamé, Jens | Universiteit Twente | 2008 | |
| Chen, Taolue | Vrije Universiteit Amsterdam | 2009 | |
| Gazda, Maciej | Technische Universiteit Eindhoven | 2016 | |
| Gerhold, Marcus | Universiteit Twente | 2018 | |
| Kuijper, Wouter | Universiteit Twente | 2012 | |
| Laarman, Alfons | Universiteit Twente | 2014 | 1 |
| Meijer, Jeroen | Universiteit Twente | 2019 | |
| Ngo, Tri Minh | Universiteit Twente | 2014 | |
| Oguz, Oguzcan | Universiteit Twente | 2018 | |
| Orzan, Simona | Vrije Universiteit Amsterdam | 2004 | |
| Timmer, Mark | Universiteit Twente | 2013 | |
| Torabi Dashti, Mohammad | Vrije Universiteit Amsterdam | 2008 | |
| Valero Espada, Miguel | Vrije Universiteit Amsterdam | 2005 | |
| van Dijk, Tom | Universiteit Twente | 2016 | |
| Wijs, Anton | Vrije Universiteit Amsterdam | 2007 | 2 |
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.