News Ameesh Shah

I started at Waymo! Looking forward to building something great here.

Our work on learning to dynamically improve Vision-Language-Action models during inference time has been accepted to ICRA 2026!

I'm once again co-organizing the VerifAI ICLR Workshop on bridging semi-formal verification and foundation models!

I gave my dissertation talk! Thank you to everyone at Berkeley who was part of this journey :)

I attended AAMAS in Detroit to present my work on multi-agent RL for symbolic tasks!

I presented on my work in neurosymbolic reinforcement learning at the University of Michigan Controls Systems Seminar!

I am co-organizing an ICLR Workshop on bridging formal (and semi-formal) verification techniques and scale-driven foundation models!

I completed my Qualifying Exams and advanced to Candidacy!

I presented our group's work at the DARPA TIAMAT meeting in Indianapolis, Indiana.

I presented my work on LTL-guided Reinforcement Learning at the ANSR Seminar.

I attended the NDSEG Conference in San Antonio, Texas.

I attended ICML in Honolulu to present our works on multi-agent RL and active learning for formal specifications!