Ambros Gleixner

Ambros Gleixner is a Professor at HTW Berlin since 2020 and an affiliated researcher at the Zuse Institute Berlin (ZIB) since 2008. His research focuses on computational aspects of mixed-integer linear and nonlinear programming, with emphasis on exact rational arithmetic and algorithm verification.

• PhD in Mathematics (2015), Technische Universität Berlin
• Diplom (MSc) in Mathematics (2008), Technische Universität Berlin
• Vordiplom (BSc) in Mathematics (2004), Universität Bayreuth

His work spans mathematical optimization, operations research, and computational mathematics. At ZIB, he leads projects like developing the MINLP solver SCIP, the LP solver SoPlex, and verifying integer programming results through VIPR. Recent publications highlight advancements in exact rational MIP, GPU-parallel algorithms, and energy system optimization.

Scientific Awards:

• MERIT Visiting Scholar at University of Melbourne (2013)

Teaching: Offers bachelor's theses in optimization and computational mathematics. Requires students to have attended relevant seminars and possess programming skills. Office hours by email appointment through Ambros.Gleixner@HTW-Berlin.de.

Labs & Teams: Principal investigator at ZIB's Mathematical Algorithmic Intelligence division, Research Campus MODAL, and Linear, Integer, and Constraint Programming project.