Keliang He

I’m a PhD student who joined the KavrakiLab in 2013. My research is currently focused on combining discrete and continuous planning techniques to solve complex problems. These problems include planning from logical specifications, manipulation planning, and using discrete reasoning to guide continuous search.

I attained my BS in Engineering and BA in Mathematics from Swarthmore College in 2013. During my time there I worked on trajectory optimizations using CHOMP for the DARPA Robotics Challenge.

Contact: keliang.h/at/ CV, updated Feb 2016


  1. K. He, M. Lahijanian, L. E. Kavraki, and M. Y. Vardi, “Towards Manipulation Planning with Temporal Logic Specifications,” in 2015 IEEE Intl. Conf. Robotics and Automation (ICRA), Seattle, WA, 2015, pp. 346–352.
  2. K. He, “Robot Manipulation Planning Under Linear Temporal Logic Specifications,” Master's thesis, Rice University, Houston, TX, 2015.
    pdf publisher details