معرفی
Chris Kapulkin is an Associate Professor in the Department of Mathematics at the University of Western Ontario. His research focuses on Homotopy Theory, Higher Category Theory, Combinatorics, and Formalization of Mathematics using Homotopy Type Theory, with applications to Cryptography. He is a member of the Canadian Journal editorial boards and serves on scientific advisory boards such as Banff International Research Station. He has organized numerous conferences and workshops, including the Mathematical Congress of the Americas (2025) and HoTTEST Summer School (2022). Kapulkin actively supervises PhD and Master's students, postdocs, and undergraduate researchers, contributing to over 20 academic publications since 2011. His awards include the Coxeter-James Prize (2025) and Florence Bucke Science Prize (2024). He leads the Western Cryptography Research Group and co-founded the HoTT Electronic Seminar Talks, fostering interdisciplinary collaboration in category theory and type theory.
Research Interests: Kapulkin’s work bridges abstract mathematics and foundational computer science. He explores synthetic approaches to homotopy theory, categorical structures in discrete mathematics, and the formalization of mathematical proofs using type theory. His cryptographic research applies algebraic methods to secure integer comparisons and multilinear maps. Notable contributions include contributions to the Homotopy Type Theory Book (2013) and foundational papers on simplicial models of univalence (2021).
Grants & Funding: Holder of the Distiguished Research Professorship (2022-23), recipient of C$20,000 interdisciplinary funding (2016-17) for cryptographic research, and a member of the Mathematical Sciences Research Institute (2022-23). His work has been supported through multiple conference organization grants and academic fellowships.
Labs/Teams: Faculty mentor of the Western Cryptography Research Group and co-founder of the HoTTEST seminar series. Active in organizing the Directed Reading Program and Geometry/Topology Seminar at Western University.
