News Amar Shah

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!