The Mathematics Genealogy Project - Jan (Jaco) van de Pol

Home
Search
Extrema
About MGP
- Mission
- News
- Staff
- Recognition
- Acknowledgments
Links
FAQs
Posters
Submit Data
Mirrors
- NDSU (main)
- AMS
- Bielefeld
- IMPA

A service of the NDSU Department of Mathematics, in association with the American Mathematical Society.

Please email us with feedback.

Jan (Jaco) Cornelius van de Pol

Ph.D. Universiteit Utrecht 1996

Dissertation: Termination of Higher-Order Rewrite Systems

Advisor 1: Johannes (Jan) Albert Bergstra
Advisor 2: Marcus Aloysius Bezem

Students:
Click here to see the students listed in chronological order.

Name	School	Year
Bahareh Badban	Vrije Universiteit Amsterdam	2006
Jens Calamé	Universiteit Twente	2008
Taolue Chen	Vrije Universiteit Amsterdam	2009
Simona Orzan	Vrije Universiteit Amsterdam	2004
Mohammad Torabi Dashti	Vrije Universiteit Amsterdam	2008
Miguel Valero Espada	Vrije Universiteit Amsterdam	2005
Anton Wijs	Vrije Universiteit Amsterdam	2007

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