Jan (Jaco) Cornelius van de Pol

MathSciNet


Ph.D. Universiteit Utrecht 1996 Netherlands
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.

NameSchoolYearDescendants
Ahmad, WaheedUniversiteit Twente2017
Badban, BaharehVrije Universiteit Amsterdam2006
Belinfante, AxelUniversiteit Twente2014
Bloemen, VincentUniversiteit Twente2019
Calamé, JensUniversiteit Twente2008
Chen, TaolueVrije Universiteit Amsterdam2009
Gazda, MaciejTechnische Universiteit Eindhoven2016
Gerhold, MarcusUniversiteit Twente2018
Kuijper, WouterUniversiteit Twente2012
Laarman, AlfonsUniversiteit Twente20141
Meijer, JeroenUniversiteit Twente2019
Ngo, Tri MinhUniversiteit Twente2014
Oguz, OguzcanUniversiteit Twente2018
Orzan, SimonaVrije Universiteit Amsterdam2004
Timmer, MarkUniversiteit Twente2013
Torabi Dashti, MohammadVrije Universiteit Amsterdam2008
Valero Espada, MiguelVrije Universiteit Amsterdam2005
van Dijk, TomUniversiteit Twente2016
Wijs, AntonVrije Universiteit Amsterdam20072

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.