I work on new methods for mixed-integer non-linear optimization (MINLP), with focus on exploiting special structure. I detect special structure in user-formulated optimization problems, e.g. network and convexity structure. I make my research freely available using liberal licenses.