Guido is an Associate Professor in the Department of Data Science and Artificial Intelligence at the Faculty of Information Technology. His research focuses on combinatorial optimisation, in particular architecture and implementation techniques for constraint solvers, translation of constraint modelling languages, and industrial applications. Guido leads the development of the MiniZinc constraint modelling language and toolchain, and he is one of the leading developers of Gecode, a state-of-the-art constraint programming library. Guido’s broader research interests include programming languages and computational logic.

Guido is the joint lead in the research theme INTEGRATE