Jan Herman Geuvers


Ph.D. Katholieke Universiteit Nijmegen 1993 Netherlands
Dissertation: Logics and Type Systems
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Hendrik Pieter Barendregt

Click here to see the students listed in chronological order.

Basold, HenningRadboud Universiteit Nijmegen2018
Capretta, VenanzioKatholieke Universiteit Nijmegen2002
Cruz-Filipe, LuisRadboud Universiteit Nijmegen20041
Frumin, DanRadboud Universiteit Nijmegen2021
Jojgov, GueorguiTechnische Universiteit Eindhoven2004
Kaliszyk, CezaryRadboud Universiteit Nijmegen2009
Krebbers, RobbertRadboud Universiteit Nijmegen20152
Loeb, IrisRadboud Universiteit Nijmegen2007
Mamane, LionelRadboud Universiteit Nijmegen2013
Niqui, MiladRadboud Universiteit Nijmegen2004
O'Connor, RussellRadboud Universiteit Nijmegen2009
Oostdijk, MartijnTechnische Universiteit Eindhoven20014
Severi, PaulaKatholieke Universiteit Nijmegen1996

According to our current on-line database, Jan Geuvers has 13 students and 19 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 92986 for the advisor ID.