Paige Randall North

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 type theory and homotopy theory/higher category theory.

Other writings
Talks Teaching


Hans Freudenthalgebouw 6.05
Budapestlaan 6
3584 CD Utrecht

Buys Ballotgebouw 5.65
Princetonplein 5
3584 CC Utrecht