I am a Ph.D. candidate in computer science at Princeton University. My research lies within the fields of categorical logic and programming language theory with a particular focus on type theory.

Research

Check out some of my contributions to the UniMath Library: here, here, and here.