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.
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.
EE20N: Introduction to Signals and Systems Teaching Assistant (Spring 2011).
EECS149: Introduction to Embedded Systems Project Mentor (Spring 2012, Fall 2012)
Here is my cv as of December 2012.
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.