Our research interests include:
- Category theory
- Topos theory
- Theory of (higher-type) computation
- Type theory
- Proof theory
Our members
Ieke Moerdijk
(webpage)
Interests: Algebraic topology, applications of topology to mathematical logic.
Jaap van Oosten
(webpage)
Interests: Logic; realizability, proof theory, topos theory, models of computability.
Jetze Zoethout
Supervisor: Jaap van Oosten
Interests: Category and topos theory, realizability, abstract theory of computation
National seminars and workshops
Mathematical Logic Colloquium. Joint event organised by the mathematical logic departments in Amsterdam, Nijmegen and Utrecht. Currently dormant.