Our research interests include:
- Category theory
- Topos theory
- Theory of (higher-type) computation
- Type theory
- Proof theory
Our members
Johan Commelin
(webpage)
Interests: formalization of mathematics, arithmetic geometry, o-minimal theory, categorical logic, type theory
Ieke Moerdijk
(webpage)
Interests: Algebraic topology, applications of topology to mathematical logic.
Paige North
(webpage)
Interests: Category theory, homotopy theory, higher category theory, logic, homotopy type theory, and connections of those subjects with computer science and engineering
Jaap van Oosten
(webpage)
Interests: Logic; realizability, proof theory, topos theory, models of computability.
National seminars and workshops
Mathematical Logic Colloquium. Joint event organised by the mathematical logic departments in Amsterdam, Nijmegen and Utrecht. Currently dormant.