I am a Ph.D. candidate in computer science at Princeton University, coadvised by Andrew Appel and Dan Licata. My research interests lie within the fields of categorical logic and programming language theory with a particular focus on type theory.


Papers and Preprints

Talks and Workshops

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


I was an instrutor for the following course:
I was a teaching assistant for the following courses: