The Contraint Reasoning and Optimization group current consists of a total of nine persons.

Group Leader

Professor Matti Järvisalo


Former members


Dr Andrew Cropper (University of Oxford, UK, 6-8/2023), Dr Johannes P. Wallner (Vienna University of Technology, Austria, 3/2018), Prof Mario Alviano (University of Calabria, Italy, 8/2017), Neha Lodha (Vienna University of Technology, Austria, 3-5/2017), Prof Fahiem Bacchus (University of Toronto, Canada, 9-10/2016), Dr James Cussens (University of York, UK, 4/2015), Dr Brandon Malone (MPI, Germany, 4/2015)