CV | Scholar | Contact

Amar Shah

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!

Publications

Optimal control for sampling the
transition path process and estimating rates
J. Yuan, A. Shah, C. Bentz and M. Cameron
An Eager SMT solver for Algebraic Datatypes
A. Shah, F. Mora and S. A. Seshia
An Eager SMT Solver for Algebraic Data Type Queries
A. Shah