Michael Suguitan
Hadas Kress-Gazit
Professor
Sibley School of Mechanical and Aerospace Engineering, College of Engineering
Contact Information
551 Upson Hall
Cornell University
Ithaca, NY 14853
p:
(607) 255-1592
Hadas Kress-Gazit
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?