Our research interests include:
- Category theory
- Topos theory
- Theory of (higher-type) computation
- Type theory
- Proof theory
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.
Supervisor: Jaap van Oosten
Interests: Category and topos theory, realizability, abstract theory of computation