Development of nonlinear optimization algorithms.
We design and analyze algorithms for nonlinear and/or decomposed optimization for control and verification of complex cyber-physical systems. In particular, we focus on nonlinear sum-of-squares problems and bilevel optimization schemes.