I supervise Master and PhD students in the macro-topics below. Click here for a detailed list of possible master thesis projects. 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.

• 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.

I have supervised Master Students from France coming to do their ENS intership, and PhD students from China on their CSC scholarship. I am also willing to supervise students that are not based at Gothenburg University.

If you are interested, feel free to contact me! 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. Thesis: Representations of Toposes. PhD (M). Stockholm University. Joint with Peter Lumsdaine. Summer 2026.

Master students:

• Donglai Xie, Functorial Semantics of Type Coercion. Master in Logic. Gothenburg University. Ongoing

• Aditya Prakash, Axiomatic Mal'cev conditions. Master in Logic. Gothenburg University. Summer 2026.

• Yiannis Hadjicharalambous, Databases, provenance, and semirings. Master in Logic. Gothenburg University. Joint with Phokion Kolaitis. Summer 2026.

• Alessio Zaninotto, Boolean-valued models of Set Theory. Master in 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. MA (Philosophy). University of Torino. Spring 2025.

Bachelor students:

• Zike Liu, TbD. BA (Philosophy). Renmin University. Ongoing

• 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:

• Adam Donadille, ENS internship for six months on topos theoretic approaches to forcing. MSc (CS). ENS de Lyon. Ongoing.

• Lingyuan Ye, project for his Master studies on Givant categoricity theorem. MSc (M). Institute of Logic, Language and Computation, Amsterdam. Summer 2023.