View all Faculty

Hadas Kress-Gazit

Associate Dean for Diversity and Academic Affairs

Geoffrey S.M. Hedrick Senior Endowed Professor

Sibley School of Mechanical and Aerospace Engineering

Hadas Kress-Gazit
Hadas Kress-Gazit
Graduate Field Affiliations
Aerospace Engineering
Computer Science
Electrical and Computer Engineering
Mechanical Engineering

Biography

Hadas Kress-Gazit is the Geoffrey S.M. Hedrick Sr. Professor at the Sibley School of Mechanical and Aerospace Engineering at Cornell University, and the Associate Dean for Diversity and Academic Affairs of Cornell’s College of Engineering. 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 synthesis for robotics – automatically creating verifiable robot controllers for complex high-level tasks. Her group explores different types of robotic systems including modular robots, soft robots and swarms and synthesizes ideas from different communities such as robotics, formal methods, control, hybrid systems and computational linguistics. She received an NSF CAREER award in 2010, a DARPA Young Faculty Award in 2012, Cornell Engineering’s Excellence in teaching award in 2013 and 2019, and excellence in research award in 2021. She is an IEEE Fellow and has served on DARPA’s Information Science and Technology study group (ISAT), as the program chair for Robotics: Science and Systems (RSS) 2018, the program chair for the International Conference on Robotics and Automation (ICRA) 2022, and the president of the RSS board (2019-2023), among other leadership positions in the robotics community.

Research Interests

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

Select Publications

  • Jing, G., T. Tosun, M. Yim, H. Kress-Gazit. 2016. “An End-To-End System for Accomplishing Tasks with Modular Robots.” Paper presented at Robotics: Science and Systems (RSS), Ann Arbor, Michigan, USA, June.

  • 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 Robotics31(3): 591-604.

  • DeCastro, J., H. 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., H. 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.

Hadas Kress-Gazit's Google Scholar

Select Awards and Honors

  • Outstanding Research Award, College of Engineering, Cornell University 2020
  • Fellow, Institute of Electrical and Electronics Engineers 2020
  • Named to Women in Robotics “30 women in robotics you need to know about” 2020
  • Kenneth A. Goldman '71 Teaching Award, College of Engineering, Cornell University 2019
  • Best Systems Paper, Finalist Best Paper and Best Student Paper, Robotics: Science and Systems 2016
  • NAE US Frontiers in Engineering participant, National Academy of Engineering 2014
  • Fiona Ip Li '78 and Donald Li '75 Excellence in teaching award, College of Engineering, Cornell University 2013
  • Early Career Spotlight Robotics: Science and Systems 2013
  • DARPA Young Faculty Award (DARPA) 2012

Education

  • B.Sc., Department of Electrical Engineering, Technion 2002
  • M.S., Engineering, University of Pennsylvania 2005
  • Ph.D., Electrical Engineering, University of Pennsylvania 2008

In the News