Robotics, hybrid systems; logic; verification and synthesis; motion and task planning, and computational linguistics
Current Research Interest
Autonomous robots; providing assurances and feedback regarding robot behavior; using natural language to instruct robots; practical formal methods for robotics
National Science Foundation Career Award
DARPA Young Faculty Award
Fiona Ip Li ’78 and Donald Li ’75 Excellence in Teaching Award
Kress Gazit, Hadas, Tichakorn Wongpiromsarn, and Ufuk Topcu. "Correct, Reactive, High-Level Robot Control." IEEE Robotics and Automation Magazine 18, no. 3 (2011): 65–74.
Lignos, Constantine, Vasumathi Raman, Cameron Finucane, Mitchell Marcus, and Hadas Kress-Gazit. “Provably Correct Reactive Control from Natural Language.” Autonomous Robots 38, no. 1 (2015): 89-105.
Cornell Research Website Article
Ready for Your Very Own Robot?
Cornell Research Website Video
Making Robots Correct