People

Principle Investigator

hadaskg@cornell.edu

Google Scholar

Hadas Kress-Gazit

Professor, Sibley School of Mechanical and Aerospace Engineering, Cornell University

CV

Hadas Kress-Gazit is a 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

akp84@cornell.edu

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

cliang@cs.cornell.edu

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

dog4@cornell.edu

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

Ji Chen

Ph.D. Mechanical Engineering

jc3246@cornell.edu

I am working on the control synthesis of robotic swarms to achieve high-level tasks.

Himani Sinhmar

Ph.D. Mechanical Engineering

hs962@cornell.edu

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.

Website

Guy Scher

Ph.D. Mechanical Engineering

gs679@cornell.edu

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

wbthomason@cs.cornell.edu

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.

Website

Thais Campos

Ph.D. Mechanical Engineering

tcd58@cornell.edu

I am currently working on design synthesis of modular robots.

Scott Hamill

Ph.D. Mechanical Engineering

sbh@cornell.edu

My current research focuses on methods for generating gaits and developing controllers for walking soft robots.

Amy Fang

Ph.D. Mechanical Engineering

axf4@cornell.edu

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

rr724@cornell.edu

Alumni

 
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) – Neocis Inc
Kai Weng (Catherine) Wong – Ph.D. in Mechanical Engineering (2018) – Iron Ox

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) – Research scientist at MIT