Hadas Kress-Gazit

Hadas Kress-Gazit is a Professor at Cornell University's Sibley School of Mechanical and Aerospace Engineering. Her research focuses on formal methods for robotics and automation, particularly in creating verifiable controllers for complex tasks. She holds a Ph.D. in Electrical and Systems Engineering from the University of Pennsylvania (2008) and has been at Cornell since 2009. Her work integrates logic, verification, hybrid systems theory, and computational linguistics. Notable awards include the NSF CAREER Award (2010), DARPA Young Faculty Award (2012), and IEEE Fellow (2020).

Research interests span Robotics, Motion Planning, Task Planning, Verification, Human-Robot Interaction, and Modular Robotics. She collaborates on projects like ShadowSense, enabling tactile interaction via shadow imaging, and leads work in swarm robotics, formal synthesis, and human-robot collaboration. Her lab develops systems for emergency evacuation, social robotics, and modular manipulators.

Awards include teaching excellence recognitions (2013, 2019) and research accolades such as the 2020 Outstanding Research Award. Her contributions bridge theoretical formal methods with practical robotic systems, emphasizing safety, adaptability, and human-centric design.