projects / cv / publications

Ambros M. Gleixner

Zuse Institute Berlin (ZIB)
Head of research group Mathematical Optimization Methods
Room 3104
Takustraße 7
14195 Berlin-Dahlem

t: +49 30 84185-169
f: +49 30 84185-269
e: gleixnerzib.de
w: www.zib.de/gleixner


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

In the long-running project Linear, Integer, and Constraint Programming we develop the MINLP solver SCIP and the LP solver SoPlex. Recently, I have been increasingly interested in exact linear and integer programming over the rational numbers and implemented a number of rational extensions to SoPlex around the ideas in this paper and my PhD thesis.

The exact solving features of SoPlex are available on the NEOS Server for Optimization and have been interfaced to the Python package cobraPy in order to solve multi-scale linear programming formulations over metabolic networks. This has triggered my interest in the use of optimization methodology for questions from computational biology. Together with the research group Computational Molecular Design at ZIB, we investigate complex clustering problems appearing in transition networks.

I am responsible for our cooperations with SAP and Siemens that support the development of SCIP and SoPlex with a special focus on their industrial applications. In the recent project BEAM-ME together with partners from DLR, Jülich Supercomputing, HLRN Stuttgart, and TU Berlin, I am a principal investigator for parallel methods to solve large-scale optimization problems for energy system models.

Currently, I am mentoring Gregor Hendel, Benjamin Müller, Daniel Rehfeldt, Felipe Serrano, and Jakob Witzig, for their PhD projects at TU Berlin. I have supervised Dennis Elbrächter from TU München, Luca Fabbri from the Università di Bologna, Wei Huang from FU Berlin, Leif Naundorf from FU Berlin, Frédéric Pythoud from EPFL, and Stefan Weltge from the Otto-von-Guericke-Universität Magdeburg during their time as interns or student assistents at ZIB.

Short Academic CV

Here is my long cv.

2015 - present Head of research group Mathematical Optimization Methods at Zuse Institute Berlin
2015 PhD in Mathematics, Technische Universität Berlin
Title: Exact and fast algorithms for mixed-integer nonlinear programming
Committee: Martin Grötschel, Andrea Lodi, Thorsten Koch
2014 - present Member of the Research Campus MODAL
2013 MERIT Visiting Scholar at the University of Melbourne, School of Engineering
2011 Conference chair of CPAIOR 2011 conference (together with Timo Berthold, Stefan Heinz, and Thorsten Koch)
2008 - 2014 Member of the DFG Research Center Matheon – Mathematics for key technologies
2008 - 2015 Researcher at the Zuse Institute Berlin
2008 Diplom (MSc) in Mathematics, Technische Universität Berlin
2007 - present Member of the Berlin Mathematical School
2004 Vordiplom (BSc) in Mathematics, Universität Bayreuth


The most up-to-date publication list is most likely on my ZIB publication page. Here is my Google Scholar profile, and my dblp page.

My thesis Exact and fast algorithms for mixed-integer nonlinear programming is available online.