I am a senior applied mathematics student studying at The University of California, Berkeley. My primary research interests involve machine learning, particularly in image modeling, and formalizing computer science and AI concepts in verifiable code. I enjoy work that involves rigorous, mathematical theory with real world applications.

Outside of research, I enjoy building projects, learning new areas of mathematics, and exploring applications of math in fields such as economics and quantitative finance. This site is a collection of my research, projects, writing, and things I’m currently learning.