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.


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


I was a teaching assistant for the following courses: