Skip to main content

in this section

Hadas Kress-Gazit

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

Biography

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.

Teaching Interests

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

Selected Publications

  • Johnson, B., Hadas Kress Gazit. 2012. "Probabilistic Guarantees for High-Level Robot Behavior in the Presence of Sensor Error." Autonomous Robots 33 (3): 309-321.
  • Kress Gazit, Hadas, T. Wongpiromsarn, U Topcu. 2011. "Correct, Reactive, High-Level Robot Control." IEEE Robotics and Automation Magazine 18 (3): 65 - 74.
  • Kress Gazit, Hadas, G. E. Fainekos, G. J. Pappas. 2009. "Temporal-Logic-Based Reactive Mission and Motion Planning." Ieee Transactions on Robotics 25 (6): 1370-1381.
  • Kress Gazit, Hadas, G. E. Fainekos, G. J. Pappas. 2008. "Translating Structured English to Robot Controllers." Advanced Robotics 22 (12): 1343-1359.
  • Kress Gazit, Hadas, D. C. Conner, H. Choset, A. A. Rizzi, G. J. Pappas. 2008. "Courteous cars - Decentralized multiagent traffic coordination." Ieee Robotics & Automation Magazine 15 (1): 30-38.

see more publications

Selected Awards and Honors

  • Fiona Ip Li '78 and Donald Li '75 Excellence in teaching award (Cornell University) 2013
  • Early Career Spotlight Robotics: Science and Systems 2013
  • DARPA Young Faculty Award (DARPA) 2012
  • Affinito-Steward Research award 2011
  • NSF Career Award (National Science Foundation) 2010

Websites

Education

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