Keliang He

I’m a PhD candidate 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 and manipulation planning. My current project focuses on synthesizing provably correct policies for manipulation tasks under adverserial inteference.

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 Sep 2016


  1. K. He, M. Lahijanian, L. E. Kavraki, and M. Y. Vardi, “Reactive Synthesis For Finite Tasks Under Resource Constraints,” in 2017 IEEE/RSJ Intl. Conf. Intelligent Robots and Systems (IROS), Vancouver, BC, 2017, pp. 5326–5332.
  2. 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.
  3. K. He, “Robot Manipulation Planning Under Linear Temporal Logic Specifications,” Master's thesis, Rice University, Houston, TX, 2015.
    pdf publisher details