Principal Investigator

Hadas Kress-Gazit
Hadas Kress-Gazit

Sibley School of Mechanical and Aerospace Engineering
Cornell University

hadaskg {at} cornell {dot} edu



Short bio: 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 received an NSF CAREER award in 2010, a DARPA Young Faculty Award in 2012 and the Fiona Ip Li '78 and Donald Li '75 Excellence in teaching award in 2013. She lives in Ithaca with her partner and two kids. 

Postdoctoral Associates

Salar Moarref

My current research focuses on automated controller synthesis from high-level temporal logic specifications for multi-robot and swarm robotic systems. 

sm945 {at} cornell {dot} edu

Ph.D. Students

Adam Pacheck

Mechanical Engineering

I am conducting research in verifiable task planning involving composing learned abstractions.


akp84 {at} cornell {dot} edu

Claire Liang

Computer Science

I work in planning with minimal information. My personal website is here.

David Gundana

Mechanical Engineering


dog4 {at} cornell {dot} edu

Guy Scher
Guy Scher

Mechanical Engineering

1st year PhD student



gs679 {at} cornell {dot} edu

Ji Chen

I am currently working on controller design for swarm robots in continuous level to guarantee safety and correctness of swarm behaviors. 

Jijie (Gigi) Zhou

Mechanical Engineering


jz888 {at} cornell {dot} edu

Scott Hamill

I am currently working on methods for generating gaits and developing controllers for walking soft robots.


sbh92 {at} cornell {dot} edu

Thais Campos

Mechanical Engineering

I am currently working on design synthesis of modular robots.


tcd58 {at} cornell {dot} edu



Adrian Boteanu

Postdoc (2015-2017) - Amazon

Ben Johnson

PhD in Mechanical Engineering (2014) - Postdoc at the Navy Research Lab 

Gangyuan (Jim) Jing

PhD in Mechanical Engineering (2018) - website - Neocis Inc 


Jonathan DeCastro

PhD in Mechanical Engineering (2017) -  website- Toyota Research institute



Kai Weng (Catherine) Wong

PhD in Mechanical Engineering (2018) - website - Iron Ox

Ruediger Ehlers

Postdoc (2013) - website - Professor at the University of Bremen 

Shahar Sarid

Postdoc (2011-2012) 

Spyros Maniatopoulos

Mechanical Engineering - website - Cruise automation

Vasu Raman

PhD in Computer Science (2013) - website - Bay Area Startup