Bart P. F. Jacobs


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

Advisor: Hendrik Pieter Barendregt
Advisor 2: Ieke Moerdijk

Click here to see the students ordered by family name.

Turi, DanieleVrije Universiteit Amsterdam1996
Huisman, MariekeKatholieke Universiteit Nijmegen20016
Breunesse, Cees-BartRadboud Universiteit Nijmegen2006
Warnier, MartijnRadboud Universiteit Nijmegen20064
Garcia, FlavioRadboud Universiteit Nijmegen20082
Hasuo, IchiroRadboud Universiteit Nijmegen20087
Pieters, WolterRadboud Universiteit Nijmegen20081
van den Berg, JoachimRadboud Universiteit Nijmegen2009
Heunen, ChrisRadboud Universiteit Nijmegen20107
Andrés, MiguelRadboud Universiteit Nijmegen2011
de Koning Gans, GerhardRadboud Universiteit Nijmegen2013
Vullers, PimRadboud Universiteit Nijmegen2014
Alpár, GergelyRadboud Universiteit Nijmegen2015
de Ruiter, JoeriRadboud Universiteit Nijmegen2015
Picek, StjepanRadboud Universiteit Nijmegen and University of Zagreb2015
Verdult, RoelKatholieke Universiteit Leuven and Radboud Universiteit Nijmegen2015
Ege, BarışRadboud Universiteit Nijmegen2016
van den Broek, FabianRadboud Universiteit Nijmegen2016
Lueks, WouterRadboud Universiteit Nijmegen2017
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 25 students and 51 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.