Home | Hadas Kress-Gazit » Women in Robotics Directory

Hadas Kress-Gazit » Women in Robotics Directory


Photo of Hadas Kress-Gazit

Hadas Kress-Gazit

Associate Professor – Mechanical and Aerospace Engineering Cornell University
Website: Verifiable Robotics Research Group


Hadas Kress-Gazit is an Associate Professor at the Sibley School of Mechanical and Aerospace Engineering at Cornell University. She received 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 and more specifically on creating verifiable robot controllers for complex high-level tasks using logic, verification, synthesis, hybrid systems theory and computational linguistics.

women-in-robotics-directory-submit            women-in-robotics-directory-why