Hadas Kress-Gazit

Hadas Kress-Gazit is the Geoffrey S.M. Hedrick Sr. Professor at the Sibley School of Mechanical and Aerospace Engineering at Cornell University. She earned her Ph.D. in Electrical and Systems Engineering from the University of Pennsylvania in 2008 and has been at Cornell since 2009. Her research focuses on formal methods for robotics and automation, particularly synthesis of verifiable robot controllers for complex tasks. She explores modular robots, soft robots, and swarms, integrating ideas from robotics, formal methods, control theory, and computational linguistics.

• Research Interests: Formal Specifications, Robot Task Verification, Feedback Mechanisms in Robotics
• Awards: IEEE Fellow, multiple awards for research, teaching, and advocacy

Her work emphasizes bridging interdisciplinary gaps to advance autonomous systems. Recent talks include discussions on high-level verifiable robotics specifications and multi-robot systems.