photo of Sadigh Dorsa
Sadigh Dorsa
    University of California, Berkeley

Home page:
Bio:  I am a second 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 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.

Visit my homepage for my latest projects and publications.

©2002-2018 U.C. Regents