Rigid-body dynamics and optimal control.
Model-based design and verification for robotics from MIT and Toyota Research.
Locomotion controller software for the MIT Cheetah robots.