Chris Kapulkin

Ph.D. student
Department of Mathematics
University of Pittsburgh

301 Thackeray Hall
University of Pittsburgh
krk56 \at pitt \dot edu

Research

My research interests are in the following:

Category theory and higher category theory
Mathematical logic and type theory
Homotopy type theory

Find out more about my research in publications and preprints and notes.

Teaching

List of courses:

Math 220 - Summer Term 2011

Talks & Events

Special Year on the Univalent Foundations of Mathematics, Institute for Advanced Study, Princeton, NJ, September 2012 to May 2013

See also a list of past talks and events.

Links

Updated by Chris Kapulkin, March 2nd, 2013.