Cornell University - Visit www.cornell.edu College of Engineering - visit www.engr.cornell.edu Cornell University - Visit www.cornell.edu
Cornell University, College of Engineering
more options
Sibley School of Mechanical and Aerospace Engineering at Cornell University

 

About Us Contact Us Login
Hadas Kress-Gazit
Assistant Professor
Mechanical and Aerospace Engineering
Personal Web Page:
Address:    210 Upson Hall
Cornell University
Ithaca, NY 14853
Phone: 
Fax:    
E-mail:
(607) 255-1592
607) 255-1222
hadaskg@cornell.edu

Research Interests
  • Robotics
  • Motion Planning
  • Task Planning
  • Model Checking
  • Verification
  • Hybrid Systems
  • Language for Robotics
  • Human Robot Interaction
Honors and Awards
  • Finalist - Best Paper (2007 IEEE/RSJ International Conference on Intelligent Robots and Systems )
  • Finalist - Best Student Paper (2007 International Conference on Robotics and Automation )
  • Graduate Research Fellowship (Sept. 2003 - 2009)
    Dept. of Electrical and Systems Engineering
    University of Pennsylvania, Philadelphia, PA, USA
  • IEEE member
    Member of the Robotics and Automation Society (RAS) and Women in Engineering
Courses
  • MAE 674
Selected Publications

Hadas Kress-Gazit, G. Fainekos and G. J. Pappas
Translating Structured English to Robot Controllers
Invited paper, Advanced Robotics Special Issue on Selected Papers from IROS 2007. Vol. 22, No. 12 (2008), pp 1343-1359. |

PDF version of AUTHORS: TITLE

Hadas Kress-Gazit, N. Ayanian, G.J. Pappas and V. Kumar
Recycling Controllers
2008 IEEE Conference on Automation Science and Engineering, Washington DC, August 2008.|

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.

 

Education
Ph.D. 2008  -  University of Pennsylvania, Electrical and Systems Engineering
M.S.E. 2005  -  University of Pennsylvania, Electrical and Systems Engineering
B.S.C. 2002  -  Technion, Electrical Engineering