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

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