Automated Vehicles Symposium 2019

Shromona Ghost
Ph.D. student
University of California, Berkeley


Shromona Ghosh is a PhD student at University of California, Berkeley where she is co-advised by Prof. Sanjit A.Seshia and Prof. Alberto Sangiovanni-Vincentelli. She also closely works with Roof. Claire Tomlin. Her research interest lies in the intersection of Formal Verification, Control Theory and Robotics, and Machine Learning. Particularly her research focuses on, developing formal analysis techniques and design of robust and safe controllers for safety-critical systems with ML components, such as Autonomous Cars.

Sessions :