Dorsa Sadigh.

Dorsa Sadigh

Ph.D. Candidate
Department of Electrical Engineering and Computer Sciences
University of California Berkeley

Contact Information
545S Cory Hall
Email Address

About Me

I am a first year graduate student being co-advised by Sanjit Seshia and S. Shankar Sastry . My interests lie in the intersection of cyber-physical systems, formal methods and synthesis of controllers from a high level language.

I graduated from Berkeley EECS in 2012. During my undergraduate studies, I worked with Sanjit Seshia on LTL synthesis and quantitative analysis of programs. I also worked with Edward Lee on robot localization.

Publications

Dorsa Sadigh, Sanjit Seshia and Mona Gupta. Automating Exercise Generation: A Step towards Meeting the MOOC Challenge for Embedded Systems. Workshop on Embedded Systems Education 2012.

Orna Kupferman, Dorsa Sadigh and Sanjit A. Seshia. Synthesis with Clairvoyance. Haifa Verification Conference, 2011.

Jonathan Kotker, Dorsa Sadigh, and Sanjit A. Seshia. Timing Analysis of Interrupt-Driven Programs under Context Bounds. Formal Methods in Computer Aided Design 2011.

Teaching

EE20N: Introduction to Signals and Systems Teaching Assistant (Spring 2011).

EECS149: Introduction to Embedded Systems Project Mentor (Spring 2012, Fall 2012)

Honors and Awards
Curriculum Vitae

Here is my cv as of December 2012.

Misc.

My old webpage from undergrad.

Here you can find automatically generated RM/EDF scheduling problems,

and here you can create mutated versions of a traffic light model as xml files.

Engineering Outreach AT Berkeley