I’m a computer science PhD candidate at UMN advised by Favonia.

Previously, I was a math student at UPenn and Northwestern.

My research is in homotopy type theory and formal verification.
In particular, I work on formally certified proofs in synthetic
homotopy theory and in associated aspects of category theory.