Paige Randall North

Logo

View My GitHub Profile

I am an assistant professor at Utrecht University with a dual appointment in the Department of Mathematics and the Department of Information and Computing Sciences. I am also an Honorary Research Fellow in the School of Computer Science at the University of Birmingham and a Guest Researcher at the Delft University of Technology. Previously, I was a postdoc in the Departments of Mathematics and Electrical and Systems Engineering at the University of Pennsylvania, working with Rob Ghrist, and in the Mathematics Department at the Ohio State University, working with Sanjeevi Krishnan. Before that, I did my PhD in mathematics at the University of Cambridge under the supervision of Martin Hyland and my BS in mathematics at the University of Chicago.

In my research, I apply tools of topology and category theory to problems in computer science. I am most focused on the connections between functional programming/type theory and homotopy theory/higher category theory.

News

Group

We currently have no PhD or postdoc vacancies.

Current members

Past members

Funding

Research projects

Formalization of double categories in HoTT/UF

with Nima Rasekh, Niels van der Weide, Benedikt Ahrens

Formalization of model category theory in HoTT/UF

with Dennis Hilhorst

Coalgebraic control of inductive datatypes

with Maximilien Péroux, Lukas Mulder

Bicategorical type theory

with Benedikt Ahrens, Niels van der Weide

Categorical dynamics

with Rob Ghrist, Miguel Lopez, Hans Riess

Structure of the semantics of dependent types

with Benedikt Ahrens, Jacopo Emmenegger, Peter Lefanu Lumsdaine, Egbert Rijke

The univalence principle

with Benedikt Ahrens, Michael Shulman, Dimitris Tsementzis

Directed type theory

PhD thesis: Type theoretic weak factorization systems

Other papers

Teaching

Regular courses

Summer schools

Activities

Current

Past