Mixed-integer disciplined convex programming.

Extended formulations.

Data structures and algorithms design.

Decomposition algorithms for two-stage programs.