My principal interests are in discrete optimization and programming languages, both areas underpinned by methods for reasoning about constraints.

I am also interested in the intersection of machine learning and optimization: e.g. the predict+optimize problem of predicting parameters to be used in optimization problems.