Siddharth Srivastava's Homepage

Siddharth Postdoctoral Scholar
Computer Science Division
University of California, Berkeley

Contact: my_first_name at [cs.berkeley.edu]


I am a postdoctoral researcher in EECS at UC Berkeley, working with Prof. Stuart Russell. My research goal is to develop safe, intelligent autonomous agents that operate successfully in the real world. To achieve this, I am working on various problems in sequential decision making under uncertainty, combined task and motion planning in robotics, probabilistic knowledge representation and reasoning, and formal methods.

My current focus is on algorithms for planning and reasoning in common real-world situations where the agent cannot know with certainty the numbers and/or identities of objects that it will encounter (generalized planning, open-universe probability models and open-universe POMDPs), and where accurate discrete specifications for planning are not possible (combined task and motion planning in robotics).
[Videos of experiments with the PR2 robot]

My dissertation was on methods for computing provably correct generalized plans. I was co-advised by Prof. Shlomo Zilberstein and Prof. Neil Immerman at UMass Amherst.

Areas of interest:
  • Artificial Intelligence: planning and reasoning, probabilistic programming languages, robotics, programming by demonstration, program synthesis, mathematical logic
  • Model checking: static analysis of programs, abstract interpretation, reachability analysis in counter-machine models of computation

News


Older News



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 AI and Robotics, IROS 2014
  • 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 2013)
  • International Joint Conference on Artificial Intelligence (IJCAI 2011)

Program Committee Member

  • Twenty Eighth Conference on Artificial Intelligence (AAAI 2014)
  • ICAPS Workshop on Planning and Robotics (PlanRob) 2014
  • Twelfth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2014)
  • AAAI Workshop on Intelligent Robotic Systems, 2013
  • Twenty Seventh Conference on Artificial Intelligence (AAAI 2013)
  • ICAPS Workshop on Planning and Robotics (PlanRob) 2013
  • 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)