I am a third year 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.

Research

Papers and Preprints

Talks and Workshops

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

Teaching

This semester I am teaching an undergraduate course on category theory (here), and TAing functional programming (COS 326).

I was a teaching assistant for the following courses:

Education