On May 07, 2018, Stefan Heinz, formerly at ZIB's Mathematical Optimization Methods group, and now with FICO, a partner in MODAL's SynLab, defended his thesis "Presolving Techniques and linear relaxations for cumulative scheduling" at Technical University of Berlin in front of a very large audience of collaborators, colleagues, and friends. The thesis develops a hybird constraint integer programming approach to a large class of cumulative scheduling problems. The approach unifies and significantly extends the hitherto known theory, the resulting general method can compete with the  best special purpose solvers.
The photo shows (from left to right) supervisor Thorsten Koch, Stefan Heinz, co-supervisor Chris Beck, and committee chair Peter Bank.