Skip to main content

in this section

Hadas Kress-Gazit

  • Hadas Kress-Gazit
  • Dept: Mechanical and Aerospace Engineering
  • Title: Associate Professor
  • Address: Room 210 Upson Hall
  • Phone: 607 255-1592
  • return to list



Hadas Kress-Gazit joined the Cornell MAE faculty in 2009. Before that, she was a research scientist at GRASP lab at the University of Pennsylvania where she developed methods to create robot controllers that are guaranteed to satisfy high level tasks.

Research Interests

Robotics, Motion Planning, Task Planning, Model Checking, Verification, Hybrid Systems, Language for Robotics, Human Robot Interaction.


Selected Publications

  • Tosun, T., G. Jing, Hadas Kress Gazit, M Yim. 2015. "Computer-Aided Compositional Design and Verification for Modular Robots." Paper presented at , International Symposium of Robotics Research (ISRR), Sestri Levante, Italy, September.
  • Raman, V., N. Piterman, C. Finucane, H Kress-Gazit. 2015. "Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control." IEEE Transactions on Robotics 31 (3): 591-604.
  • DeCastro, J A., Hadas Kress Gazit. 2015. "Dynamics-Driven Adaptive Abstraction for Reactive High Level Mission and Motion Planning." Paper presented at IEEE International Conference on Robotics and Automation 2015, Seattle WA, May.
  • Wong, K W., Hadas Kress Gazit. 2015. "Let's Talk: Autonomous Conflict Resolution for Robots Carrying out Individual High-level Tasks in a Shared Workspace." Paper presented at IEEE International Conference on Robotics and Automation 2015, Seattle WA, May.
  • Lignos, C., V. Raman, C. Finucane, M. Marcus, H Kress-Gazit. 2015. "Provably correct reactive control from natural language." Autonomous Robots 38 (1): 89-105.

see more publications

Selected Awards and Honors

  • NAE US Frontiers in Engineering participant (National Academy of Engineering) 2014
  • Early Career Spotlight Robotics: Science and Systems 2013
  • Fiona Ip Li '78 and Donald Li '75 Excellence in teaching award (Cornell University) 2013
  • DARPA Young Faculty Award (DARPA) 2012
  • Affinito-Steward Research award 2011



  • BSc (Department of Electrical Engineering), Technion, 2002
  • MS (Engineering), University of Pennsylvania, 2005
  • Ph D (Electrical Engineering), University of Pennsylvania, 2008