Principle Investigator

Google Scholar

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.

Website   Google Scholar

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.

Website    Google Scholar

David Gundana

Ph.D. Mechanical Engineering

I am currently working on automatically generating controllers to satisfy timed high-level specifications in complex environments.

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

I’m working on ways to automatically get both a controller and the guarantees that it would work
  safely for robotic systems, with uncertainties in their perception and environment.

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.

Rahul Kumar Ravi

M.Sc. Mechanical Engineering


Jijie Zhou – M.Sc in Mechanical Engineering (2020) – The Mathworks
Arvind Adimoolam – Postdoc (2018-2020)
Salar Moarref – Postdoc (2016-2019) – website – Uber Advanced Technology Group
Chuanwei Wu – M.Sc in Mechanical Engineering (2012) – Outrider
Gangyuan (Jim) Jing – Ph.D. in Mechanical Engineering (2018) – Vicarious
Kai Weng (Catherine) Wong – Ph.D. in Mechanical Engineering (2018) – Auris Health

Adrian Boteanu – Postdoc (2015-2017) – Amazon

Jonathan DeCastro – Ph.D. in Mechanical Engineering (2017) – Toyota Research institute
Ben Johnson – Ph.D. in Mechanical Engineering (2014) – Honeywell Aerospace, Advanced Technology
Ruediger Ehlers – Postdoc (2013) – Professor at the University of Bremen
Spyros Maniatopoulos – Mechanical Engineering – Cruise automation
Vasu Raman – Ph.D. in Computer Science (2013) – Zipline
Shahar Sarid – Postdoc (2011-2012)
Bingxin Xu – M.Sc in Mechanical Engineering (2012) – The Mathworks
Sebastian Castro – M.Sc in Mechanical Engineering (2011) – Boston Dynamics