I am starting as an Assistant Professor in Computer Science and Electrical Engineering at Stanford University in Fall 2017.

I am currently a Ph.D. Candidate in the Electrical Engineering and Computer Sciences department at UC Berkeley. My research interests lie in the intersection of learning and control, formal methods, and human-robot interaction. I am interested in designing provably correct controllers for human-cyber-physical systems (h-CPS) such as semiautonomous vehicles.


I am being advised by Prof. Sanjit Seshia and Prof. S. Shankar Sastry. I also collaborate closely with Prof. Anca Dragan.


I graduated from Berkeley EECS undergraduate program in 2012 ( Go Bears! ). During my undergrad studies, I worked with Prof. Sanjit Seshia on LTL synthesis and quantitative analysis of programs. I also worked with Prof. Edward Lee on robot localization.


My research is funded in part by National Defense Science and Engineering Graduate Fellowship. I was also awarded an NSF Graduate Research Fellowship in 2013.