Postdoctoral Fellow

Department of Mathematics

University of Western Ontario

Department of Mathematics

University of Western Ontario

Middlesex College 121

University of Western Ontario

kkapulki \at uwo \dot ca

University of Western Ontario

kkapulki \at uwo \dot ca

My research interests are in the following:

- Higher category theory and homotopy theory
- Homotopy type theory and Univalent Foundations
- Cryptography
- Categorical representation theory

Talks

Notes

Academic Year 2016/17:

- Math 9510A: Higher Category Theory Reading Seminar, Fall 2016.
- Math 9511A: Category Theory and Categorical Logic (graduate-level reading course), Fall 2016.
- Math 9602A: Elliptic Curves (graduate-level reading course), Fall 2016.
- Math 3159B/9145B: Introduction to Cryptography, Winter 2017.

- Lead organizer of the AMS Math Research Communities Workshop on Homotopy Type Theory, Snowbird, UT, June 4th to 10th, 2017.
- Participant of the Big Proof Programme, Newton Institute (Cambridge), UK, June 26th to July 15th, 2017.

Updated by Chris Kapulkin, March 28th, 2017.