Supervisor

Simplicial Homotopy Type Theory.
MSc Mathematics Thesis, University of Amsterdam, 2024.
Student: George Magafossis.
Path Categories.
A project for master students with the goal to describe the literature on path categories in a unified and structured way.
MSc Logic Research Project, University of Amsterdam, 2024.
Coalgebras.
A reading course on Jan Rutten’s The Method of Coalgebra, Bart Jacobs’ Introduction to Coalgebra, and Yde Venema’s Topics in Modal Logic.
MSc Logic Research Project, University of Amsterdam, 2024.
Student: Liam Chung.
Alternative Impredicative Encodings of Inductive Types.
MSc Logic Thesis, University of Amsterdam, 2023.
Student: Xavier Ripoll Echeveste.

Lecturer

Fall 2024

Logic and Computability.
BSc Artificial Inteligence, University of Amsterdam.
Colecturer: Rodrigo Almeida.

Spring 2024 Spring 2023 Spring 2022	Type Theory. MSc Logic, University of Amsterdam. Lecturer: Benno van den Berg.
Fall 2022	Homotopy Type Theory. MSc Logic, University of Amsterdam. Lecturer: Benno van den Berg.
Fall 2024 Fall 2023 Fall 2021	Category Theory. MSc Mathematics, Mastermath. Lecturer: Benno van den Berg.
Spring 2021 Fall 2020	Seminar Presenting and Communicating. BSc Mathematics, Leiden University. Lecturers: Peter Bruin, Hans Finkelnberg, Mark Roelands.
Spring 2020 Spring 2019	Introduction to Probability. BSc Mathematics, Leiden University. Lecturer: Luca Avena.
Fall 2018	Linear Algebra 2. BSc Physics, Leiden University. Lecturer: Robert-Jan Kooman.