CV | Scholar | Contact

News Amar Shah

06/2024
I attended the SAT/SMT summer school in Nancy, France
05/2024
I came second place at the 2024 ACM Grand Finals!
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!
04/2023
I won the Outstanding Graduate Student Instructor Award in the Math Department
04/2023
I was accepted to talk about our work on Algebraic Datatype Solving at the PLDI Student Research Competition
03/2023
I won the SURF Fellowship to continue my research at Berkeley over the summer
01/2023
I presented our work from last summer on Optimal Control at Joint Math Meetings in Boston
10/2022
I presented our work on Optimal Control at the Gulf Coast Undergraduate Research Seminar in Houston
6/2022
I participated in the University of Maryland Math REU . I worked with others on pure and applied results on Optimal Controllers in Transition Path Theory. Paper to come soon!