Today was the release of SCIP.jl v0.11, the first release switching to SCIP 8. The major change in this (massive) release was the rewrite of the nonlinear optimization part, using a so-called expression framework. The rewrite of the wrapper had some fairly tedious parts, debugging C shared libraries is quickly a mess with cryptic error messages. But the nonlinear rewrite gave me the opportunity to tweak the way Julia expressions are passed to SCIP in a minor way.

It has been about a year since I joined the Zuse Institute to work on optimization methods and computation. One of the key projects of the first half of 2021 has been on building up FrankWolfe.jl, a framework for nonlinear optimization in Julia using Frank-Wolfe methods. You can find a paper introducing the package here. This was an opportunity to experiment with different design choices for efficient, scalable, and flexible optimization tools while keeping the code simple to read and close to the algorithms.

Differentiating set projections.

The Pandora box from simple set membership.

Constrained optimization on a fundamental engineering problem

What can automated gradient computations bring to mathematical optimizers, what does it take to compute?

Compiling mathematical optimization problems in a multiple-dispatch context.

Cracking Benders decomposition, one cut at a time.

Some digging in representations for optimization modelling

Making social events easier as a graph problem.

© 2022 Mathieu Besançon · Powered by the Academic theme for Hugo.