Scholar
Paige Randall North
Google Scholar ID: X555AaQAAAAJ
Utrecht University
Citations & Impact
Citations
206
H-index
7
i10-index
5
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- Publications: 'Formalization of double categories in HoTT/UF', 'Univalent Double Categories' (CPP 2024), 'Formalizing the algebraic small object argument in UniMath' (ITP 2024). Projects: Funded by AFOSR (2021-2024). Awards: AMS Memoir published in January 2025.
Research Experience
- Postdoc in the Departments of Mathematics and Electrical and Systems Engineering at the University of Pennsylvania, working with Rob Ghrist; postdoc in the Mathematics Department at Ohio State University, working with Sanjeevi Krishnan.
Education
- BS in mathematics from the University of Chicago; PhD in mathematics from the University of Cambridge, supervised by Martin Hyland.
Background
- Assistant professor at Utrecht University with a dual appointment in the Department of Mathematics and the Department of Information and Computing Sciences. Also an Honorary Research Fellow in the School of Computer Science at the University of Birmingham and a Guest Researcher at Delft University of Technology. Research interests include applying tools of topology and category theory to problems in computer science, particularly the connections between functional programming/type theory and homotopy theory/higher category theory.
Miscellany
- Scheduled to teach a course on Interactive theorem provers at La Escuela de Ciencias Informáticas in Buenos Aires in July/August 2025, and to give a lecture series on Category Theory at the Oregon Programming Languages Summer School in June/July 2025.
Co-authors