Our research interests include:
- Category theory
- Topos theory
- Theory of (higher-type) computation
- Type theory
- Proof theory
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.