Principal Investigator

Hadas Kress-Gazit
Hadas Kress-Gazit

Associate Professor
Sibley School of Mechanical and Aerospace Engineering
Cornell University

hadaskg {at} cornell {dot} edu



Short bio: Hadas Kress-Gazit is an Associate 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

Gangyuan (Jim) Jing
Gangyuan (Jim) Jing photo

Mechanical Engineering

Currently working on a joint project with Mod Lab in UPenn on high-level control for modular robot systems.

gj56 {at}

Ji Chen

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

Jonathan DeCastro

Mechanical Engineering

I am researching automatic controller synthesis for robots described by complex dynamics and its ties to high-level mission planning.

Home Page | jad455 {at} cornell {dot} edu

Kai Weng (Catherine) Wong
Kai Weng (Catherine) Wong

Mechanical Engineering

My current research focuses on dealing with unexpected events during correct-by-construction controller execution and extending it to multi-agent scenarios.

Homepage | kw358 {at}

Scott Hamill

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


sbh92 {at} cornell {dot} edu

Spyros Maniatopoulos
Spyros Maniatopoulos photo

Mechanical Engineering

I am currently working on the DARPA Robotics Challenge as a member of Team ViGIR. My research is on bridging the gap between the theory and practice of synthesis of provably-correct robot control software. | @spmaniato | sm2296 {at}

Thais Campos

Mechanical Engineering



tcd58 {at} cornell {dot} edu



Adrian Boteanu

Postdoc (2015-2017) - Amazon

Ben Johnson

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

Ruediger Ehlers
Shahar Sarid

Postdoc (2011-2012) 

Vasu Raman

PhD in Computer Science (2013) - Bay Area Startup