• About Us
  • Job Opportunities
  • Location
  • Contact Us
• Undergraduate
  • Choosing a First Year Course
  • 2019-20 Course Outlines
  • 2020-21 Course List
  • Mathematics Modules
  • Recommended Courses Offered by Other Departments
  • Calculus 1000A/B Online
  • Careers Information
  • Summer Research
  • Putnam Competition
  • Private Tutors
  • Cryptography
  • 2019-20 Mathematics Common Course Policies
  • Directed Reading Program
  • Help Centre
• Graduate
  • Application Procedure
  • Degree Requirements
  • Comprehensive Examination
  • Graduate Supervisors
  • Graduate Courses
  • Online Courses
  • Equipment / Facilities
  • Funding / Tuition
  • Graduate Appeals
• Research
  • The Distinguished Lecture Series
  • Fields Institute Events
  • Software
  • Related Links
• People
  • Administrative Staff
  • Full-Time Faculty
  • Emeritus Faculty
  • Affiliated Faculty
  • Postdoctoral Fellows
  • Graduate Students
  • Part Time Faculty
• Calendar

• MENU
  • About Us
  • Undergraduate
  • Graduate
  • Research
  • People
  • Calendar

• Home
• Faculty
• Chris Kapulkin

Chris Kapulkin

Research

Research areas

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

Publications

Notes, videos, etc.

Supervision

Current students and postdocs

• Apurva Nakade, postdoc, 2019-21.
• Brandon Doherty, PhD student, 2017-21.
• James Leslie, PhD student, 2019-23.
• Udit Mavinkurve, PhD student, 2020-23.
• Ilia Vlasov, PhD student, 2020-24.
• Szymon Adamus, undergraduate student, Summer 2020.
• Daniel Carranza, undergraduate student, Summer 2020.
• YeonJoon Choi, undergraduate student, Summer 2020.
• Jacob Fabe, undergraduate student, Summer 2020.

Supervision information

Western Cryptography Research Group

Teaching

Academic year 2020-21

• Math 3159A: Introduction to Cryptography, Fall 2020.
• Math 9511A: Category Theory, Fall 2020.

 Academic year 2019-20

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

Teaching information

Recommendation letters

Activities

Upcoming

• Organizer (j/w D. Christensen) of the HoTTEST Conference of 2020, only online, June 15-19, 2020.
• Organizer (j/w B. Ahrens) of the HoTT/UF Workshop 2020, Paris (France) The Internet, July 4-5, 2020.

Ongoing

• Organizer (j/w D. Christensen) of the HoTT Electronic Seminar Talks.
• Organizer of the Geometry/Topology Seminar at Western.
• Organizer (j/w A. Nakade) of the Directed Reading Program at Western.

Selected past activities

• Research Member in the program Higher Categories and Categorification at the Mathematical Sciences Research Institute, Berkeley, Spring 2020.
• 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.