I am currently on the academic job market for a tenure track assistant professor position!

I am a Postdoctoral Researcher in the Electrical Engineering and Computer Sciences (EECS) Department at UC Berkeley, advised by Sanjit Seshia (formal methods) and Bjoern Hartmann (human computer interaction). I also received my PhD in EECS from UC Berkeley, advised by Sanjit Seshia Alberto Sangiovanni-Vincentelli (formal methods).

My research goal is to enable the safe and trustworthy deployment of autonomous systems and physical agents (from self-driving cars to robots and drones) across sectors such as manufacturing, construction, healthcare, and defense. A core challenge in scaling these deployments is ensuring that agents can reliably solve diverse onsite tasks when task-specific data are scarce and tacit know-how resides with frontline workers across deployment sites. To address this, I aim to develop a general, scalable co-design framework that enables frontline workers to directly impart domain knowledge to autonomous systems on site. My research brings a distinctive system design and verification perspective to autonomy, integrating formal methods, human computer interaction, and machine learning.

My research has earned multiple recognitions, including selection as a National Science Foundation (NSF) CPS Rising Star and the UC Berkeley EECS Departmental Award for Innovative Research. I am a recipient of the NSF Graduate Research Fellowship and the U.S. Department of Transportation’s Collaborative Sciences Center for Road Safety Fellowship, and my work received a Best Paper nomination at the International Conference on Cyber-Physical Systems. In addition, I have led and co-led multi-institutional proposal writing that secured nearly $2M in funding and established collaborations with industry including NASA, Google, Meta, the American Automobile Association, and Toyota.