Mathematical Logic
Research interests
- Category theory
- Higher category theory
- Theory of computation
- Type theory
- Proof formalisation
- O-minimal theory
Events
Category theory seminar
The category theory seminar runs every other week at Utrecht University. Here category theory is understood in a broad sense, and topics can include higher category theory, applications to homotopy theory and computer science, among other things.
Logic and formalization seminars
The Logic and Formalization Seminar is a weekly seminar on logic and formalization. It is complemented by Loki, a weekly formalisation meetup.
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.
Emeriti and Guests
- Interests: Logic; realizability, proof theory, topos theory, models of computability.
Past events
More information about the past activities of the group can be found here.