News Amar Shah

I attended the SAT/SMT summer school in Nancy, France

I came second place at the 2024 ACM Grand Finals!

Federico presented our work on SMT solving for ADTs at AAAI

Our work on Optimal Control in Transition Path Theory has been published

I won the EECS Evergreen Undergraduate Research Award

I won a Gold Medal in the Undergraduate Category of the PLDI Student Research Competition

A pre-print of our results on Optimal Control in Transition Path Theory is now available. Paper to come soon!

I won the Outstanding Graduate Student Instructor Award in the Math Department

I was accepted to talk about our work on Algebraic Datatype Solving at the PLDI Student Research Competition

I won the SURF Fellowship to continue my research at Berkeley over the summer

I presented our work from last summer on Optimal Control at Joint Math Meetings in Boston

I presented our work on Optimal Control at the Gulf Coast Undergraduate Research Seminar in Houston

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!