TheCyberbotics (Cyber-Physical and Robotics System) Lab strives to develop elegant and principled control methodologies for robots with the ultimate goal of achieving fully autonomous and dynamic motions that have long been promised by science fiction. We seek to tackle this fundamental problem in robotics by integrating the modern numerical optimization methods with the formal control theory. At the Cyberbotics Lab, we build and experiment with highly visible legged robots and robotic assistive devices as a means to achieve our research objectives. Our research focuses on the computational and theoretic challenges present in the experimental implementation of advanced nonlinear control algorithms on complex dynamical platforms, and extend the formal understandings to a variety of safety-critical autonomous and robotic systems. We fully embrace the multidisciplinary challenges in robotics and devote to develop advanced robotics technology that can significantly improve the quality of life of our society.