Chair of Graduate Admissions
Department of Mathematics
University of Western Ontario
Middlesex College 116
Email: kkapulki 'at' uwo.ca
- Higher Category Theory and Homotopy Theory
- Univalent Foundations and Homotopy Type Theory
- Formalization of Mathematics
Current students and postdocs
- Zachery Lindsey, postdoc (j/w D. Christensen), 2018-19.
- Brandon Doherty, PhD student, 2017-21.
- Mayecxiliana Cardenas Montoya, PhD student, 2018-22.
- César Bardomiano Martinez, MSc student, 2019.
Western Cryptography Research Group
Academic year 2018-19
- Colloquium speaker at the Université de Strasbourg, December 6, 2018.
- Participant of the 4th Conference on Artificial Intelligence and Theorem Proving (AITP'19), Obergurgl (Austria), April 7-12, 2019.
- Invited speaker at the Cornell Topology Festival, May 10-12, 2019.
- Scientific Committee member of the HoTT/UF Workshop 2019, Oslo (Norway), June 12-14, 2019.
- Visiting Fellow at the Center for Advanced Study at the Norwegian Academy of Science and Letters (research group: Homotopy Type Theory and Univalent Foundations), Fall 2018.
- Organizer (j/w D. Christensen) of the HoTT Electronic Seminar Talks.
- Organizer (j/w R. Jardine) of the Geometry and Topology Seminar at Western.
Selected past activities
- 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.