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

Research Projects

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.