I'm a fourth-year student at Northeastern University, majoring in Computer Science and minoring in Mathematics! Currently, I'm interning at AMD working on Triton and ROCm software.

I'm interested in using the formal tools from logic and mathematics to reason about programs and create tools to improve the safety and reliability of our critical software, while providing a good experience for developers. I have experience with proof mechanization in Rocq and implementing compilers in languages like Rust and OCaml.

I also occasionally play around with the Minecraft protocol and make somewhat useful things with it (at least useful to me). Additionally, I have experience with web technologies and making "native" desktop applications with Electron.

I'm also involved with the Labs team for TransitMatters, a Boston-based group that advocates for improvements to local and regional transit, and have done some work on the TransitMatters dashboard.

Check out my website!

Feel free to contact me via the socials linked there, or email if necessary.