Positions
since 2026
Professor, Departments of Computer Science and Mathematics — Vanderbilt University
since 2026
Professor (on leave), Department of Mathematics — University of Western Ontario
2021–26
Associate Professor, Department of Mathematics — University of Western Ontario
2017–21
Assistant Professor, Department of Mathematics — University of Western Ontario
2014–17
Postdoctoral Fellow, Department of Mathematics — University of Western Ontario
Awards & fellowships
2026–28
Faculty Scholar — University of Western Ontario
2025
Coxeter–James Prize — Canadian Mathematical Society
2024
Florence Bucke Science Prize — University of Western Ontario
2022–23
Distinguished Research Professorship — Faculty of Science, UWO
2016–17
Interdisciplinary Postdoctoral Fellowship (Cryptographic Multilinear Maps) — University of Western Ontario
2014
Thomas C. Hales Distinguished Research Award — University of Pittsburgh
2013–14
Andrew Mellon Predoctoral Fellowship — University of Pittsburgh
Distinguished lectures
2026
Lorne Campbell Lecture — Queen's University, Kingston, Ont.
2025
Coxeter–James Lecture, CMS Winter Meeting — Toronto, Ont.
2024
Florence Bucke Lecture — University of Western Ontario
Visiting positions
2022–23
Research member, Complementary Program — MSRI, Berkeley, Calif.
Summer 2022
Research member, Higher Categories & Categorification Reunion — MSRI / UNAM, Cuernavaca, Mexico
Spring 2020
Research member, Higher Categories & Categorification — MSRI, Berkeley, Calif.
Fall 2018
Fellow, Homotopy Type Theory & Univalent Foundations — Center for Advanced Study, Oslo, Norway
Summer 2017
Participant, Big Proof — Isaac Newton Institute, Cambridge, U.K.
2012–13
Visiting student, Univalent Foundations — Institute for Advanced Study, Princeton, N.J.
Editorial boards & service