I'm in my second year in the Turing Scholars Honors Program at UT Austin. I'm currently working as an Undergraduate Course Assistant for Honors Data Structures with Dr. Calvin Lin, and I'm currently looking for intern roles in industry for summer 2025. Academically, I am interested in the applications of math to computational problems, including formal methods and numerical analysis. So far, I've helped curate a benchmark to evaluate neural theorem provers, and I'm currently researching intelligible approximate proofs for SAT solvers.Professionally, I'm interested in any role that involves problem solving in a technical context, including software engineering, systems, and data analytics. In the short term, I'm looking for summer internships, with the long-term goal of transitioning to working full-time in industry after graduation.