I am a second year Ph.D. candidate in computer science at Princeton University. My research interests lie 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.

Teaching

I was a teaching assistant for the following courses:

Education