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 listed in chronological order.

Alpár, GergelyRadboud Universiteit Nijmegen2015
Andrés, MiguelRadboud Universiteit Nijmegen2011
Breunesse, Cees-BartRadboud Universiteit Nijmegen2006
Cho, KentaRadboud Universiteit Nijmegen2019
de Koning Gans, GerhardRadboud Universiteit Nijmegen2013
de Ruiter, JoeriRadboud Universiteit Nijmegen2015
Ege, BarışRadboud Universiteit Nijmegen2016
Garcia, FlavioRadboud Universiteit Nijmegen20082
Hasuo, IchiroRadboud Universiteit Nijmegen20087
Heunen, ChrisRadboud Universiteit Nijmegen20107
Huisman, MariekeKatholieke Universiteit Nijmegen20017
Lueks, WouterRadboud Universiteit Nijmegen2017
Picek, StjepanRadboud Universiteit Nijmegen and University of Zagreb20151
Pieters, WolterRadboud Universiteit Nijmegen20081
Rennela, MathysRadboud Universiteit Nijmegen2019
Turi, DanieleVrije Universiteit Amsterdam1996
Uijlen, SanderRadboud Universiteit Nijmegen2019
van den Berg, JoachimRadboud Universiteit Nijmegen2009
van den Broek, FabianRadboud Universiteit Nijmegen2016
van de Wetering, JohnRadboud Universiteit Nijmegen2021
Verdult, RoelKatholieke Universiteit Leuven and Radboud Universiteit Nijmegen2015
Vullers, PimRadboud Universiteit Nijmegen2014
Warnier, MartijnRadboud Universiteit Nijmegen20067
Westerbaan, AbrahamRadboud Universiteit Nijmegen2019
Westerbaan, BastiaanRadboud Universiteit Nijmegen2019

According to our current on-line database, Bart Jacobs has 25 students and 56 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.