Ambros Gleixner

HTW Berlin
Campus Wilhelminenhof, TGS Haus 1a/b, Room 403
Office address: Ostendstraße 25, 12459 Berlin
Postal address: HTW Berlin, 10313 Berlin

Zuse Institute Berlin (ZIB)
Takustraße 7
14195 Berlin

e: gleixner

htw-berlin.de
w: www.zib.de/gleixner

Projects and research

My research deals with the computational aspects of mixed-integer linear and nonlinear programming. I am professor for discrete mathematics and operations research at HTW Berlin and affiliated researcher at the division Mathematical Algorithmic Intelligence at Zuse Institute Berlin.

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. Currently, I am most actively working on a algorithms and software for verifying the correctness of integer programming results (VIPR) in connection with extending SCIP to a numerically exact MIP solver.

Short Academic CV

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

Publications

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

Exact and fast algorithms for mixed-integer nonlinear programming, Technische Universität Berlin, June 2015

is available online.