Hadas Kress-Gazit

Hadas Kress-Gazit is the Associate Dean for Diversity and Academic Affairs and holds the Geoffrey S.M. Hedrick Senior Endowed Professor title at Cornell University's Department of Mechanical Engineering. Her research focuses on Robotics, Motion Planning, Task Planning, Model Checking, Verification, Hybrid Systems, Language for Robotics, Human Robot Interaction, Modular Robots, Robotics and Autonomy, Complex Systems, Network Science, and Computation. She can be contacted via email at hadaskg@cornell.edu, and her profile is available at https://www.duffield.cornell.edu/people/hadas-kress-gazit/.

Hadas Kress-Gazit is a researcher at Cornell University specializing in robotics and formal methods. Her work focuses on developing reactive mission and motion planning for robots using temporal logic, ensuring safe and reliable robot behavior in dynamic environments. She explores the integration of language and temporal logic for robot control, enabling robots to perform complex tasks with guarantees. Her research includes hybrid controllers, perception-driven autonomy, and systems for multitask manipulation with modular robots. Kress-Gazit's contributions emphasize correctness, feedback, and adaptability in robotic systems, particularly in uncertain and partially unknown environments.