Daniël Otten
I am a PhD candidate at the University of Amsterdam, interested in type theory, category theory, higher-order logic, and constructive mathematics.
Supervision
- Alternative Impredicative Encodings of Inductive Types.
Student: Xavier Ripoll Echeveste.
MSc Logic Thesis, University of Amsterdam, 2023.
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. |