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.

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.