layout
homepage

About Me

I am a ph.d. researcher in the IOL group at Zuse-Institut Berlin. I am the maintainer of the presolving library PaPILO and a developer in SCIP.

Research Interests

I study mixed integer linear programming, with a special interest in exact solving of mixed-integer programs.

{% include_relative _includes/publications.md %}

{% include_relative _includes/reports.md %}

"Certifying MIP-Based Presolve Reductions for 0-1 Integer Linear Programs" @ ISMP 2024 in Montreal
"MIP-DD: A Delta Debugger for Mixed Integer Programming Solvers" @ CPAIOR 2024 in Uppsala (poster)
"Certifying MIP-Based Presolve Reductions for 0-1 Integer Linear Programs" @ CPAIOR 2024 in Uppsala
"On Performance Variability in Pseudo-Boolean Solving and the Impact of Trivial Model Simplifications" @ Pragmatics of SAT 2023 in Alghero
"PaPILO: Parallelising presolving in Mixed Integer Programming" @ Euro 2021 in Athens