Jan Herman Geuvers

MathSciNet


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

Advisor: Hendrik Pieter Barendregt

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Severi, PaulaKatholieke Universiteit Nijmegen1996
Oostdijk, MartijnTechnische Universiteit Eindhoven20018
Capretta, VenanzioKatholieke Universiteit Nijmegen2002
Cruz-Filipe, LuisRadboud Universiteit Nijmegen20041
Jojgov, GueorguiTechnische Universiteit Eindhoven2004
Niqui, MiladRadboud Universiteit Nijmegen20041
Loeb, IrisRadboud Universiteit Nijmegen2007
Kaliszyk, CezaryRadboud Universiteit Nijmegen20093
O'Connor, RussellRadboud Universiteit Nijmegen2009
Mamane, LionelRadboud Universiteit Nijmegen2013
Tankink, CarstRadboud Universiteit Nijmegen2013
Kühlwein, DanielRadboud Universiteit Nijmegen2014
Krebbers, RobbertRadboud Universiteit Nijmegen20153
Basold, HenningRadboud Universiteit Nijmegen2018
van der Weide, NielsRadboud Universiteit Nijmegen2020
Frumin, DanRadboud Universiteit Nijmegen2021
Wagemaker, JanaRadboud Universiteit Nijmegen2022
Rodrigues do Vale, DeividRadboud Universiteit Nijmegen2024

According to our current on-line database, Jan Geuvers has 18 students and 33 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.