Advanced Mechanical Bipedal Experimental Robotics lab led by Aaron Ames, pioneering mathematically rigorous bipedal walking and running control