Hadas Kress-Gazit

Associate Professor
Sibley School of Mechanical and Aerospace Engineering, College of Engineering

MS_KressGazit.jpg

Michael Suguitan

Contact Information

551 Upson Hall
Cornell University
Ithaca, NY 14853
p: (607) 255-1592

Hadas Kress-Gazit

Associate Professor
Sibley School of Mechanical and Aerospace Engineering, College of Engineering

Expertise

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

Distinction

Senior Faculty Champion Award
National Science Foundation Career Award
DARPA Young Faculty Award
Fiona Ip Li ’78 and Donald Li ’75 Excellence in Teaching Award

Selected Publications

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