VR Supports Software Technology Research at KTH

Two projects have been granted to KTH faculty working on software technology: “Reconciling Database Access Control and Information Flow Control”, from Musard Balliu, “Differentiable Probabilistic Programming Languages“, from David Broman.  ...

CASTOR has been inaugurated on the 12th of September!

It was a full house for the inauguration of the CASTOR Software Research Center, as over 50 guests attended. KTH professors, researchers, industry representatives and employees from the French embassy and Vinnova joined in for the afternoon event at the Scandic...

SAP uses Gecode!

Gecode is a highly-efficient constraint solver, which is being developed under the lead of Prof. Christian Schulte. This engine was first made available in SAP in summer 2017 for advanced variant configuration. At the core of the configuration engine, SAP has chosen...

CASTOR Talk at the ACP Summer School 2018

Christian Schulte gave a talk at the ACP Summer School 2018 in Jackson, Wyoming, USA. Abstract: The Solver Side of Constraint Programming The goal of this tutorial is simple: you will learn that the solver side of CP (Constraint Programming) is in fact not the dark...