Siddharth Srivastava's Homepage

Siddharth Room 314, Computer Science Building
140 Governors Drive
University of Massachusetts
Amherst, MA 01003-9264
1-413-545-2744
myfirstname at cs.umass.edu

I am a PhD Candidate at the Department of Computer Science at University of Massachusetts, Amherst. My advisors are Neil Immerman and Shlomo Zilberstein. My research involves using mathematical logic and abstraction techniques from model checking for synthesis and learning of algorithm-like plans. Follow the links on the left to learn more!

Before starting my graduate studies, I spent three years with Veritas Software, understanding eventually that I wanted to learn a lot, lot more! Before joining Veritas, I completed my undergraduate studies at IIT Kanpur, India.


I co-organized a workshop on Generalized Planning as a part of ICAPS 2009.

Mailing List

A generalized planning group/mailing-list has been created for contacting researchers interested in topics related to generalized planning. Feel free to join if you would like to recieve messages about future events!