projects and research / cv / publications

Welcome to the homepage of

Ambros Gleixner

HTW Berlin
Campus Wilhelminenhof, PBH V, Room 5121
Office address: Ostendstraße 1, 12459 Berlin
Postal address: Treskowallee 8, 10313 Berlin

Research group Mathematical Optimization Methods
Zuse Institute Berlin (ZIB)
Room 3035
Takustraße 7
14195 Berlin


Projects and research

My research deals with the computational aspects of mixed-integer linear and nonlinear programming. I am professor at HTW Berlin and head of 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.

In the long-running project Linear, Integer, and Constraint Programming we develop the MINLP solver SCIP and the LP solver SoPlex. I have become 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. Recently, I am collaborating on a new software project for verifying the correctness of integer programming results (VIPR) in connection with extending SCIP to a numerically exact MIP solver.

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. With the Berlin startup felmo we create efficient algorithms for complex optimization problems in order to implement mobile veterinary services in practice.

If you are interested to work in our research group as a student, research assistant, or postdoc, send me an e-mail.

Short Academic CV

2020 - present Professor at HTW Berlin
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


A complete list of papers is on my ZIB publication page. See also my Google Scholar profile, and my dblp page. My thesis

is available online.

© 2008-2022. Imprint.