Mathematical Logic

Research interests

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 Commelin or Paige North for details about the exact time and location.

Staff Members

dr. J.M. (Johan) Commelin
Assistant Professor
Interests: formalization of mathematics, arithmetic geometry, o-minimal theory, categorical logic, type theory
prof. dr. I. (Ieke) Moerdijk
Professor
Interests: Algebraic topology, applications of topology to mathematical logic.
dr. P.R. (Paige) North
Assistant Professor
Interests: Category theory, homotopy theory, higher category theory, logic, homotopy type theory, and connections of those subjects with computer science and engineering
F.R. (Fernando) Chu Rivera
PhD Candidate
PhD Supervisor: Paige North
Interests: Category theory, (homotopy) type theory, mathematical logic and formalization of mathematics.
R.O.T. (Raphael) Douglas Giles
PhD Candidate
PhD Supervisor: Johan Commelin
Interests: Formalization of Mathematics, Algebraic Geometry, Birational Geometry, Type Theory
P.J. (Pim) Otte MSc
PhD Candidate
PhD Supervisor: Johan Commelin, Paige North, Jim Portegies
Interests: Interactive theorem provers, formalization of mathematics, type theory and applications of these to education.