Principle Investigator
hadaskg@cornell.edu
Hadas Kress-Gazit
Geoffrey S.M. Hedrick Sr. Professor, Sibley School of Mechanical and Aerospace Engineering, Cornell University
Hadas Kress-Gazit is the Geoffrey S.M. Hedrick Sr. 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 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 (pun intended) ideas from different communities such as robotics, formal methods, control, hybrid systems and computational linguistics. She is an IEEE fellow and has received multiple awards for her research, teaching and advocacy for groups traditionally underrepresented in STEM. She lives in Ithaca with her partner and two kids.
Ph.D. and M.Sc Students
Adam Pacheck
Ph.D. Mechanical Engineering
I am working on repairing specifications for robots by finding missing skills while taking into account user requirements and physical constraints.
Claire Liang
Ph.D. Computer Science
I am interested in the long term goal of low-cost, robust robots for real-world deployment. However, in the short term, I’m interested in planning with minimal information.
David Gundana
Ph.D. Mechanical Engineering
Ji Chen
Ph.D. Mechanical Engineering
I am working on the control synthesis of robotic swarms to achieve high-level tasks.
Himani Sinhmar
Ph.D. Mechanical Engineering
I am currently working on micron-scale morphing soft-robots for interfacing with biological systems. Our goal is to design, model and fabricate the micron scale metamaterial sheet to transform this 2D soft robosheet into a continuous set of 3D shapes that enable different motions.
Guy Scher
Ph.D. Mechanical Engineering
Wil Thomason
Ph.D. Computer Science
I work on integrated task and motion planning (TAMP), with a particular focus on making TAMP planners both easier to use and more efficient by developing novel hybrid state representations.
Thais Campos
Ph.D. Mechanical Engineering
I am currently working on design synthesis of modular robots.
Scott Hamill
Ph.D. Mechanical Engineering
My current research focuses on methods for generating gaits and developing controllers for walking soft robots.
Amy Fang
Ph.D. Mechanical Engineering
My research focuses on how robots can autonomously decide to participate and form teams to perform complex high-level tasks.
Alumni
Adrian Boteanu – Postdoc (2015-2017) – Amazon