Our research interests include:
- Category theory
- Higher category theory
- Topos theory
- Theory of (higher-type) computation
- Type theory
- Proof formalisation
- Proof theory
Every second Wednesday of the month, we get together for a Typical Lunch with people from the maths and CS departments that are interested in type theory and related subjects. If you are interested in joining these informal gatherings, please contact Johan or Paige for details about the exact time and location.
Our members
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.
Léonard Guetta
(webpage)
Interests: Higher category theory, category theory, homotopical algebra and homotopy type theory.
Fernando Rafael Chu Rivera
(webpage)
Supervisor: Paige North
Interests: Category theory, (homotopy) type theory, mathematical logic and formalization of mathematics.
Raphael Douglas Giles
(webpage)
Supervisor: Johan Commelin
Interests: Formalization of Mathematics, Algebraic Geometry, Birational Geometry, Type Theory
Pim Otte
(webpage)
Supervisor: Johan Commelin, Paige North, Jim Portegies
Interests: Interactive theorem provers, formalization of mathematics, type theory and applications of these to education.
National seminars and workshops
Category theory seminar. The seminar runs every other week. Some of its topics include higher category theory, applications to homotopy theory and computer science.
Mathematical Logic Colloquium. Joint event organised by the mathematical logic departments in Amsterdam, Nijmegen and Utrecht. Currently dormant.