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; automated design of robot structure and control from high-level tasks; synthesizing human-robot interaction
National Science Foundation Career Award
DARPA Young Faculty Award
Fiona Ip Li ’78 and Donald Li ’75 Excellence in Teaching Award
Kress-Gazit, Hadas, Morteza Lahijanian, and Vasumathi Raman. “Synthesis for Robots: Guarantees and Feedback for Robot Behavior.” Annual Review of Control, Robotics, and Autonomous Systems 1 (2018): 211-236.
DeCastro, Jonathan, Rüdinger Ehlers, Matthias Rungger, Ayça Balkan, and Hadas Kress-Gazit. “Automated Generation of Dynamics-Based Runtime Certificates for High-Level Control.” Discrete Event Dynamic Systems 27, no.2 (2017): 371-405.
Cornell Research Website Article
Ready for Your Very Own Robot?
Cornell Research Website Video
Making Robots Correct