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 human-in-the-loop semiautonomous math formalization frameworks and benchmarks like Marathon and WikiLean. I’m a contributor to Mathlib4 — the largest formalization library in the world. I am part of the Geometric Analysis working group, a research collaboration with members from Harmonic, UCSD, Rutgers, Cornell, and Stony Brook. I’m an organizer of the NYC Lean meetup.
I am a songwriter, rapper, producer, guitarist, and audio engineer. My music, along with amateur painting and digital artwork, can be found here.