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