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.