Skip to main content

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, Verication, Hybrid Systems, Language for Robotics, Human Robot Interaction.

Selected Publications

  • Finucane, C., G. Jing, Hadas Kress Gazit. 2010. "LTLMoP: Experimenting with Language, Temporal Logic and Robot Control." October (4th Quarter/Autumn).
  • Kress Gazit, Hadas, G J Pappas. 2010. "Automatic Synthesis of Robot Controllers for Tasks with Locative Prepositions." May.
  • 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.
  • Fainekos, G. E., A. Girard, Hadas Kress Gazit, G. J Pappas. 2009. "Temporal logic motion planning for dynamic robots." Automatica 45 (2): 343-352.
  • 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.

Selected Awards and Honors

  • Affinito-Steward Research award 2011
  • NSF Career Award (National Science Foundation) 2010
  • Charles Hallac and Sarah Keil Wolf Award (University of Pennsylvania) 2008
  • Finalist - Best Paper ((2007 IEEE/RSJ International Conference on Intelligent Robots and Sys- tems) 2007
  • Finalist - Best Student Paper (2007 International Conference on Robotics and Automation) 2007

Websites