Ambros Gleixner leads the research group Mathematical Optimization Methods at Zuse Institute Berlin, which holds long-standing expertise in developing and implementing general solver software for linear, mixed-integer linear and nonlinear programming.  His research deals with the computational aspects of mixed-integer linear and nonlinear programming.