The Department of Mathematics

Middlesex College

London, ON

Canada, N6A 5B7

Tel: 519.661.3639

Fax: 519.661.3610

Undergraduate inquiries:

math-inquiry@uwo.ca

Graduate inquiries:

math-grad-program@uwo.ca

All other inquiries:

mathdept@uwo.ca

Assistant Professor

Associate Chair (Graduate)

Department of Mathematics

University of Western Ontario

Middlesex College 116

Email: kkapulki 'at' uwo.ca

Phone: x86534

- Higher Category Theory and Homotopy Theory
- Univalent Foundations and Homotopy Type Theory
- Cryptography
- Formalization of Mathematics

- Zachery Lindsey, postdoc, 2018-19.
- Apurva Nakade, postdoc, 2019-21.
- Brandon Doherty, PhD student, 2017-21.
- Mayecxiliana Cardenas Montoya, PhD student, 2018-22.
- James Leslie, PhD student, 2019-23.
- César Bardomiano Martinez, MSc student, 2019.
- Ryan Sandford, NSERC USRA, Summer 2019.
- Daniel Carranza, undergraduate student, Summer 2019.
- Jonathan Chang, undergraduate student, Summer 2019.

Western Cryptography Research Group

- Math 2120B: Intermediate Linear Algebra, Winter 2019.
- Math 3159B: Introduction to Cryptography, Winter 2019.
- Math 9512B: Factorization Homology (Reading Seminar), Winter 2019.
- Math 9511L: Category Theory, Summer 2019.

- Math 3020A: Introduction to Abstract Algebra, Fall 2019.
- Math 9512A: Higher Category Theory, Fall 2019.

- Speaker in the Algebra, Combinatorics, and Geometry Seminar, University of Pittsburgh, October 17, 2019.
- Co-organizer of Midwest Homotopy Type Theory Seminar (Fall 2019), University of Michigan, October 19-20, 2019.
- Speaker in the Algebra/Topology Seminar, SUNY Albany, December 5, 2019.
- Research Member in the program Higher Categories and Categorification at the Mathematical Sciences Research Institute, Berkeley, Spring 2020.
- Organizer (j/w B. Ahrens) of the HoTT/UF Workshop 2020, details TBA.

- Organizer (j/w D. Christensen) of the HoTT Electronic Seminar Talks.
- Organizer of the Topology Seminar at Western.

- Fellow at the Center for Advanced Study of the Norwegian Academy of Science and Letters (project: Homotopy Type Theory and Univalent Foundations), Fall 2018.
- Lead organizer of the conference From the Fundamental Lemma to Discrete Geometry, to Formal Verification (in honor of Thomas C. Hales on the occasion of his 60th birthday), University of Pittsburgh, June 18-22, 2018.
- Organizer of the inaugural Midwest HoTT Seminar, May 26-27, 2018.
- Organizer of Workshop and School on Univalent Mathematics, Birmingham, UK, December 11-15, 2017.
- Program Committee member of the HoTT/UF Workshop 2017, 2018, 2019.
- Participant of the Big Proof program at Isaac Newton Institute for Mathematical Sciences, Summer 2017.
- Lead organizer of the AMS Math Research Communities Workshop on Homotopy Type Theory, June 4-10, 2017.
- Receipient of the Interdisciplinary Postdoctoral Research Funding (C$20,000) for the project
*Cryptographic Multilinear Maps*, 2016-17. - Organizer of the Workshop on Homotopy Type Theory and Univalent Foundations, Fields Institute, May 16-20, 2016.
- Receipient of the Thomas C. Hales Distinguished Research Award for the best dissertation written by a graduate student in mathematics at the University of Pittsburgh, 2014.
- Receipient of the Andrew Mellon Predoctoral Fellowship, University of Pittsburgh, 2013-14.
- Visiting student at the Institute for Advanced Study in Princeton, 2012-13.