Mechanical Engineering

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

akp84 {at} cornell {dot} edu

Computer Science

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

Mechanical Engineering

dog4 {at} cornell {dot} edu

Mechanical Engineering

1st year PhD student

gs679 {at} cornell {dot} edu

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

Mechanical Engineering

jz888 {at} cornell {dot} edu

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

sbh92 {at} cornell {dot} edu

Mechanical Engineering

I am currently working on design synthesis of modular robots.

tcd58 {at} cornell {dot} edu