Two students walking on Engineering Quad towards Duffield
Students walking along Ho Plaza
Two students working on a autonomous plane
Woman taking a photo of a mumified bird
Duffield Hall at sunset.

Hadas Kress-Gazit

Geoffrey S.M. Hedrick Senior Endowed Professor
Sibley School of Mechanical and Aerospace Engineering

Biography

Hadas Kress-Gazit is a 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. She received an NSF CAREER award in 2010, a DARPA Young Faculty Award in 2012 and the Fiona Ip Li ’78 and Donald Li ’75 Excellence in teaching award in 2013.

Research Interests

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

Selected 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 Robots38(1): 89-105.

See all Publications

Selected Awards and Honors

  • Outstanding Research Award (College of Engineering, Cornell University) 2020
  • Selected as an IEEE Fellow (IEEE) 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

Websites