Siddharth Srivastava's Homepage

Postdoctoral Scholar Department of Electrical Engineering and Computer Science University of California, Berkeley Contact: my_first_name at [cs.berkeley.edu OR cs.umass.edu]

---

I am a postdoctoral researcher in EECS at UC Berkeley, working with Prof. Stuart Russell. My dissertation research was on planning and plan-learning in situations with unbounded state spaces (summary). My thesis advisors were Prof. Neil Immerman and Prof. Shlomo Zilberstein at UMass Amherst.

Areas of interest:

• Artificial Intelligence: automated planning, search, plan learning, statistical relational learning, knowledge representation and reasoning, programming by demonstration and program synthesis
• Model checking: static analysis of programs, abstract interpretation, hybrid systems, reachability analysis in counter-machine models of computation

To learn more about my research, follow the links on the left or visit the website on Generalized Planning.

---

News

• I received an honorable mention for the ICAPS Best Dissertation Award, 2011.
  
  
• I was awarded an Outstanding Dissertation Award by the Department of Computer Science, UMass Amherst.
  
  
• I will be co-organizing a follow-up workshop on Generalized Planning at AAAI-11.
  
  
• Our paper "Computing Applicability Conditions for Plans with Loops" won the best paper award at ICAPS, 2010!
  
  

Older News

• A generalized planning group/mailing-list has been created for announcements related to generalized planning.
• I co-organized a workshop on Generalized Planning at ICAPS, 2009.

---

Teaching

Fall 2010: CMPSCI 791AP - Advanced Topics in Automated Planning

Conferences

I am (or have been) associated with the following conferences and workshops:

Organizing Committee

• Workshop on Generalized Planning, AAAI 2011
• Workshop on Generalized Planning: Macros, Loops and Domain Control, ICAPS 2009

Senior Program Committee Member

• International Joint Conference on Artificial Intelligence (IJCAI 2011)

Program Committee Member

• Twenty Sixth Conference on Artificial Intelligence (AAAI 2012)
• Eleventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2012)
• Twenty Second International Conference on Automated Planning and Scheduling (ICAPS 2012)
• Twenty Fifth Conference on Artificial Intelligence (AAAI 2011)
• Twenty First International Conference on Automated Planning and Scheduling (ICAPS 2011)
• Workshop on Decision Making in Partially Observable, Uncertain Worlds, IJCAI 2011
• Twenty Third Conference on Artificial Intelligence (AAAI 2008)

---