I am a PhD candidate at the University of Amsterdam, interested in type theory, category theory, higher-order logic, and constructive mathematics.

**Alternative Impredicative Encodings of Inductive Types.**

MSc Logic Thesis,*University of Amsterdam*, 2023.

Student: Xavier Ripoll Echeveste.

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

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