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