The Laboratory for Intelligent Decision and Autonomous Robots (LIDAR) at Georgia Tech focuses on planning, control, decision-making, applied optimization, and learning algorithms of highly dynamic, under-actuated, and human-cooperative robots maneuvering in dynamically-changing, unstructured, and possibly adversarial environments. We are especially interested in computationally efficient optimization algorithms and formal methods for challenging robotics problems with formal guarantees on robustness, safety, provable correctness, autonomy, and real-time performance. The lab aims at pushing the boundary of robot autonomy, intelligent decision, robust motion representation, and symbolic planning reasoning. Our long-term goal is to devise theoretical and algorithmic underpinnings for collaborative humanoid and mobile robots, and human assistive devices, operating in unstructured and unpredictable environments while working alongside humans. Robotic applications primarily focus on agile bipedal and quadrupedal locomotion, robust manipulation, heterogeneous robot teaming, safe lower-limb exoskeleton, and mobile platforms for extreme environment maneuvering.