I am currently an intern in Zhendong Su's group at ETH Zürich. I finished my undergradute at the University of California, Berkeley studying Math, Computer Science, and Logic, where I was advised by Federico Mora and Sanjit A. Seshia.
I am interested in building safe and verifiable software. Specifically, I aim to develop better tools for formal verification, programming languages, and automated reasoning.
I also really enjoy teaching, at Berkeley I have been on course staff for Math 1A: Calculus, CS 70: Discrete Math and Probability Theory, CS 170: Efficient Algorithms and Intractable Problems, and C191: Quantum Information Science and Technology
Recent News (See all posts)
02/2024
Federico presented our work on SMT solving for ADTs at AAAI
11/2023
Our work on Optimal Control in Transition Path Theory has been published
06/2023
I won the EECS Evergreen Undergraduate Research Award
06/2023
I won a Gold Medal in the Undergraduate Category of the PLDI Student Research Competition
06/2023
A pre-print of our results on Optimal Control in Transition Path Theory is now available. Paper to come soon!
