Zack Dooley

zdooley@uwo.ca

I am a Ph.D student studying under Chris Kapulkin at The University of Western Ontario. I study type theory and category theory, with a particular interest in the semantics of type theories, homotopy type theory, and higher categories. I'm intrigued by the realtionship between type theory and category theory and how we can use one to study the other.

Publications

Diagrams for Simple Surfaces in S^4
With Wolfgang Allred, Manuel Aragón, Alexander Goldman, Yucong Lei, Isaiah Martinez, Nicholas Meyer, Devon Peters, Scott Warrander, Ana Wright, Alexander Zupan
J. Knot Theory Ramifications 32, no. 6 (2023)
[PDF]

Links

HoTTEST Website

CV

Middlesex College 275J
1151 Richmond St
London, ON N6A 3K7

doolster