Daniël Otten

I am a PhD candidate at the University of Amsterdam and interested in type theory and category theory.

Supervision

Alternative Impredicative Encodings of Inductive Types.
MSc Logic Thesis, University of Amsterdam, 2023.
Student: Xavier Ripoll Echeveste.

Research Projects

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.

Master Courses

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.

Bachelor Courses

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.