BS in Mathematics & Computer Science, Fordham · Graduate student at Stony Brook · New York
I’m a master’s student in mathematics at Stony Brook, working on formal methods in differential geometry. I develop math formalization frameworks and benchmarks like Marathon and WikiLean. I’m also a contributor to Mathlib4 — the largest formalization library in the world. I am part of the Geometric Analysis working group, a research collaboration between Harmonic and Bennett Chow at UCSD.
I am a songwriter, rapper, producer, guitarist, and audio engineer. My music, along with amateur painting and digital artwork, can be found here.