About me

I am a mathematician currently working as a Quantitative Researcher at Susquehanna International Group, where I think about reproducible ML research, amongst other things. In my free time, I like to think about geometric group theory (and related areas) and formalizing geometric results in the Lean theorem prover. I obtained my PhD in Mathematics from the University of Michigan in 2024, advised by Alex Wright. My thesis focused on Teichmüller theory, and specifically the dynamics of the action of the mapping class group (and interesting subgroups) on Teicmüller space. I am currently trying to formalize results about \(\mathrm{Out}(F_n)\) in Lean, and documenting my learning here.

Outside of math, I enjoy rock climbing and cycling, proselytizing Emacs, and programming in Rust and Haskell.