Jan Herman Geuvers
Original record- Institution
- Katholieke Universiteit Nijmegen
- Year
- 1993
- Country
- Netherlands
- MGP identifier
- 92986
Dissertation: Logics and Type Systems
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Hendrik Pieter BarendregtUniversiteit Utrecht · 1971
Students 21
| Name | Institution | Year | Students |
|---|---|---|---|
| Henning Basold | Radboud Universiteit Nijmegen | 2018 | 0 |
| Venanzio Capretta | Katholieke Universiteit Nijmegen | 2002 | 0 |
| Luis Cruz-Filipe | Radboud Universiteit Nijmegen | 2004 | 1 |
| Dan Daniil Frumin | Radboud Universiteit Nijmegen | 2021 | 0 |
| Liye Guo | Radboud Universiteit Nijmegen | 2025 | 0 |
| Jules Jacobs | Radboud Universiteit Nijmegen | 2024 | 0 |
| Gueorgui Ivanov Jojgov | Technische Universiteit Eindhoven | 2004 | 0 |
| Cezary Kaliszyk | Radboud Universiteit Nijmegen | 2009 | 4 |
| Robbert Jan Krebbers | Radboud Universiteit Nijmegen | 2015 | 5 |
| Daniel A. Kühlwein | Radboud Universiteit Nijmegen | 2014 | 0 |
| Iris Loeb | Radboud Universiteit Nijmegen | 2007 | 0 |
| Lionel Elie Mamane | Radboud Universiteit Nijmegen | 2013 | 0 |
| Ike Mulder | Radboud Universiteit Nijmegen | 2025 | 0 |
| Milad Niqui | Radboud Universiteit Nijmegen | 2004 | 1 |
| Russell O'Connor | Radboud Universiteit Nijmegen | 2009 | 0 |
| Martijn Diederik Oostdijk | Technische Universiteit Eindhoven | 2001 | 1 |
| Deivid Rodrigues do Vale | Radboud Universiteit Nijmegen | 2024 | 0 |
| Paula Gabriela Severi | Not recorded | — | 0 |
| Carst Tankink | Radboud Universiteit Nijmegen | 2013 | 0 |
| Niels van der Weide | Radboud Universiteit Nijmegen | 2020 | 0 |
| Jana Wagemaker | Radboud Universiteit Nijmegen | 2022 | 0 |