Supervision

I supervise Master and PhD students in the macro-topics below. Click here for a detailed list of possible thesis projects.

Categorical Logic and Logic.
Category theory and Formal Category Theory.
Categorical semantics of Type Theory.
Interactions between Logic and Geometry.
Categorical approaches to Geometry and Topology.

If you do not like any of the projects in the list or you have some topic to suggest, feel free to contact me with any idea of yours, we will evaluate it together. .

I am willing to supervise students that are not based at Gothenburg University. Send me an email. In order to make my life easier, make sure to include the word THSUP in the subject.

― ―

PhD students:

Robin Jourde, cosupervision of his PhD studies on Mathematical fundations of Skeletal semantics, j.w. Tom Hirschowitz. PhD (CS). Savoie Mont Blanc University. Ongoing.
Xiao Hu, side project for his PhD studies on topos theoretic aspects of stability theory. PhD (M). Sichuan University. Ongoing.
Errol Yuksel, side project for his PhD studies on topos theoretic Galois theory. PhD (M). Stockholm University. Joint with Peter Lumsdaine. Ongoing.

Master students:

Alessio Zaninotto, Boolean-valued models of Set Theory. MSc (Logic). Gothenburg University. Summer 2025.
Jonathan Osser, A 2-Sketchy Approach to Type Theory. MSc (Logic). Institute of Logic, Language and Computation, Amsterdam. Summer 2025.
Guido Boccali, Classifying topoi, generic semantics, and Morita theory. MSc (Philosophy). University of Torino. Spring 2025.

Bachelor students:

Jonathan Osser, Exploring the Mathematical Multiverse, a brief overview of Elementary Topoi and their Internal Language. BSc (M). Stockholm University. Joint with Anders Mortberg. Spring 2023.
Kento Okura, Sheaf Semantics over the Étale Site. BSc (M). UWien. Fall 2022.
Vít Jelínek, Categorical View of Monads in Computer Science. BSc (CS). Masaryk University. Summer 2022.

Other forms of supervision:

Austine Laine, project for his BA studies on fragments of geometric logic. BSc (M). Texas State University. Ongoing.
Lingyuan Ye, project for his Master studies on Givant categoricity theorem. MSc (M). Institute of Logic, Language and Computation, Amsterdam. Summer 2023.