Efficient computational methods for worst-case analysis and optimal control of nonlinear dynamical systems. Natural and technological systems can exhibit extremely complicated behaviour in worst-case scenarios. This project will develop efficient mathematical and computational tools that will enable this behaviour to be understood and controlled.