# Chris Kapulkin

Associate Professor | Email: kkapulki 'at' uwo.ca | |

Associate Chair, Graduate | Phone: x86534 | |

Department of Mathematics | Middlesex College 255C | |

University of Western Ontario |

# Research

### Research areas

- Homotopy Theory
- (Higher) Category Theory
- Combinatorics / Graph Theory
- Formalization of Mathematics / Homotopy Type Theory
- Cryptography

### Publications

### Notes, videos, etc.

# Supervision

### Current students and postdocs

- Udit Mavinkurve, PhD student, 2020-present.
- Benjamin Connors, PhD student, 2023-present.
- Nathan Kershaw, PhD student, 2023-present.
- Vaibhav Sutrave, PhD student, 2023-present.
- Maximilian Petrowitsch (co-supervisor), PhD student in Philosophy, 2022-present.
- Sterling Ebel, undergraduate student (NSERC USRA), Summer 2023.

### Supervision information

Western Cryptography Research Group

# Teaching

### Academic year 2023-24

- Mathematics 3020A: Introduction to Abstract Algebra, Fall 2023.
- Mathematics 4123A/9023A: Rings and Modules, Fall 2023.
- Mathematics 9501A: Homotopical Algebra, Fall 2023.

### Teaching information

# Activities

### Ongoing

- Member of the Scientific Advisory Board at the Banff International Research Station.
- Member of the Equity, Diversity, and Inclusion Advisory Board at the Banff International Research Station.
- Faculty sponsor of the student chapter of Association for Women in Mathematics at Western University.
- Co-founder and organizer (j/w C. Angiuli, D. Christensen, and E. Riehl) of the HoTT Electronic Seminar Talks.
- Organizer of the Geometry/Topology Seminar at Western.
- Co-founder and faculty advisor to the organizers (Jarl G. Taxerås Flaten, Nathan Pagliaroli, and Curtis Wilson) of the Directed Reading Program at Western.

### Upcoming

- Speaker in the Geometry, Topology, and Physics Seminar (online) at NYU Abu Dhabi, October 18, 2023.
- Speaker in the Algebra, Combinatorics, and Geometry Seminar at the University of Pittsburgh, November 2, 2023.
- Mini-course speaker (three lectures) at the 9th Mexican Workshop on Applied Geometry and Topology (online) at Centro de Investigación en Matemáticas (CIMAT) in Guanajuato, Mexico, November 10-15, 2023.
- Organizer (j/w M. Frankland) of the Special Session on Homotopy Theory during the CMS 2023 Winter Meeting, Montreal, Que., December 1-4, 2023.
- Lead organizer (j/w A. Dochtermann and A. Rieser) of the Special Session on Discrete Homotopy Theory during the Joint Mathematics Meeting 2024, San Francisco, Calif., January 3-6, 2024.
- Lead organizer (j/w J. Beardsley, T. Brazelton, and D. Dugger) of the Special Session on Homotopy Theory during the Joint Mathematics Meeting 2024, San Francisco, Calif., January 3-6, 2024.
- Speaker in the Topology Seminar at Texas State University, January 26, 2023.
- Speaker in the Special Session on Homotopy Theory and Category Theory in Interaction during the AMS Southeastern Sectional Meeting at Florida State University, Tallahassee, Fla., March 23-24, 2024.

### Selected past activities

- Faculty of Science Distiguished Research Professor, 2022-23.
- Research member of the Mathematical Sciences Research Institute, Berkeley, Calif., 2022-23.
- Organizer (j/w C. Angiuli, D. Christensen, M. Hötzel Escardó, D. Licata, E. Riehl, and E. Rijke) of the HoTTEST Summer School 2022, online event, July-August 2022.
- Organizer (j/w B. Ahrens, E. Cavallo, and A. Petkovic) of the HoTT/UF Workshop 2022, Haifa, Israel, July 31-August 1, 2022.
- Organizer (j/w B. Ahrens) of the HoTT/UF Workshop 2021, The Internet @ Buenos Aires, Argentina, July 17-18, 2021.
- Organizer (j/w B. Ahrens) of the HoTT/UF Workshop 2020, Paris (France) The Internet, July 5-7, 2020.
- Organizer (j/w D. Christensen) of the HoTTEST Conference of 2020, only online, June 15-19, 2020.
- Research Member in the program Higher Categories and Categorification at the Mathematical Sciences Research Institute, Berkeley, Spring 2020. Subsequently, participant of the MSRI Higher Categories and Categorification Reunion Event, MSRI/Universidad Nacional Autónoma de México, May 30-June 24, 2022.
- 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.