I pursued a Master's degree (in computer art, basically) at New York University until May 2026.
In the fall of 2026, I will begin my Master's in Mathematics at CUNY.
Selected Project
I am working on Starling, a proof assistant designed for ease of use by novices.