Ambros Gleixner

Researcher, Zuse Institute Berlin

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.

Program Visits

Satisfiability: Theory, Practice, and Beyond, Spring 2021, Visiting Scientist