I am a 4th year graduate student at UC Berkeley being co-advised by Prof. Sanjit Seshia and Prof. S. Shankar Sastry .

My research interests lie in the intersection of human cyber-physical systems, formal methods and synthesis of controllers from a high level language. I specifically work on verification and synthesis of human-in-the-loop systems.

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.