Hello!

I’m a 4th year undergraduate student at UT Austin, double majoring in computer science (Turing Scholars Honors Program) and math. My research interests lie at the intersection of machine learning and formal methods, including AI for math. I’m currently applying to graduate school programs. I’m excited to continue my academic journey and pursue a career in research!