Bart Jacobs


Ph.D. Katholieke Universiteit Nijmegen 1991 Netherlands
Dissertation: Categorical Type Theory
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Hendrik Pieter Barendregt

Click here to see the students ordered by family name.

Turi, DanieleVrije Universiteit Amsterdam1996
Warnier, MartijnRadboud Universiteit Nijmegen20063
Garcia, FlavioRadboud Universiteit Nijmegen20081
Hasuo, IchiroRadboud Universiteit Nijmegen20087
Heunen, ChrisRadboud Universiteit Nijmegen20106
Ege, BarışRadboud Universiteit Nijmegen2016
Cho, KentaRadboud Universiteit Nijmegen2019
Rennela, MathysRadboud Universiteit Nijmegen2019
Uijlen, SanderRadboud Universiteit Nijmegen2019
Westerbaan, AbrahamRadboud Universiteit Nijmegen2019
Westerbaan, BastiaanRadboud Universiteit Nijmegen2019
van de Wetering, JohnRadboud Universiteit Nijmegen2021

According to our current on-line database, Bart Jacobs has 12 students and 29 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 133454 for the advisor ID.