photo of Sadigh Dorsa
 
Sadigh Dorsa
    University of California, Berkeley

Username:dsadigh
Email:dsadigh@berkeley.edu
 
 
 
 
Home page:http://www.eecs.berkeley.edu/~dsadigh
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.

Papers, Presentations and Reports Authored by Sadigh Dorsa

  1. Diagnosis and Repair for Synthesis from Signal Temporal Logic, Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Sanjit Seshia, 26, October, 2016. Posted on 25 Oct 2016.
  2. Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications, Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasu Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit Seshia, Hybrid Systems: Computation and Control, 12, April, 2016. Posted on 8 Feb 2016.

Counts

  • 1 Conference paper.
  • 1 Poster.

The counts above are from the publications database. The number of posters is derived from the presentations.

Note: A poster is a presentation that has the word 'poster' (case-insensitive) in the any of the text fields. Thus, the poster count might be somewhat inaccurate. The number of posters is deducted from the number of presentations and bother are reported.