Srinivas Nedunuri's Homepage

Srinivas Postdoctoral Researcher
Department of Computer Science
Rice University, Houston, Texas

Contact: my_last_name at []

· Our paper on synthesizing integrated task and motion plans for robots has been accepted at Intl. Conf. on Robotics and Automation (ICRA) 2014

·  We are preparing an extended version for the IEEE Transactions on Robotics

· Our position paper on synthesizing reactive task and motion plans has been accepted to the ICAPS Workshop on Planning and Robotics (PlanRob) 2014

I am a postdoctoral researcher in the Computer Science department at Rice University, working with Prof. Swarat Chaudhuri. My research area is program synthesis. My PhD at the University of Texas at Austin was in a related area called algorithm synthesis.  

The goal of my current work in program synthesis is to be able to turn a program outline, called a sketch, into a complete running program. We are currently applying our ideas to the field of robotics programs, working with Prof. Lydia Kavraki’s group. Currently many robotics programs are written in languages like C++ or Python, requiring a lot of attention to detail. We hope to alleviate the programmer of some of the burden of writing such programs with our approach. This is a very exciting topic at the forefront of current research as it involves various disciplines including algorithms, program synthesis, programming languages, AI, and robotics.

Areas of interest:
  • Program Synthesis
  • Algorithm Synthesis
  • Reactive Systems
  • Planning
  • OO Analysis and Design
To learn more about my research, follow the links on the left.