Formalizing how optimization problems compose and solution algorithms to exploit compositional structure.
Developing algorithms and applications for homological programming.
Building complex control problems from simpler pieces and optimal control of coupled systems.
Exploration and rewriting algorithms for general classes of models including neural networks, relational databases, and ODE systems.