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
Badban, BaharehVrije Universiteit Amsterdam2006
Calamé, JensUniversiteit Twente2008
Chen, TaolueVrije Universiteit Amsterdam2009
Gazda, MaciejTechnische Universiteit Eindhoven2016
Kuijper, WouterUniversiteit Twente2012
Laarman, AlfonsUniversiteit Twente2014
Orzan, SimonaVrije Universiteit Amsterdam2004
Timmer, MarkUniversiteit Twente2013
Torabi Dashti, MohammadVrije Universiteit Amsterdam2008
Valero Espada, MiguelVrije Universiteit Amsterdam2005
Wijs, AntonVrije Universiteit Amsterdam20071

According to our current on-line database, Jan (Jaco) van de Pol has 11 students and 12 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.