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, proof assistants,
and machine-checked mathematics. In particular, I work on
computer-checked proofs in synthetic homotopy theory and in
associated aspects of category theory.

I also build mathematical software, including an open-source
semidefinite programming solver in Rust.

I am on the job market for Fall 2026 roles involving formal methods,
proof assistants, mathematical software, or numerical optimization.
Feel free to reach out about roles that may be a good fit.