PhD completed by Nikolaus Frohner

Congratulations to Nikolaus Frohner, who successfully defended his PhD thesis "Advancing State Space Search for Static and Dynamic Optimization by Parallelization and Learning" today.

Thanks to the evaluation committee: Christian Blum, Luca di Gaspero, Sophie Parragh, and Nysret Musliu.