I am a PhD student at the Optimisation Group researching the synthesis of local search algorithms from high-level declarative models. I have developed and maintain fzn-oscar-cbls, which was the first local search backend to MiniZinc. My current research includes identifying and addressing the inherent challenges of interfacing local search solvers with solver-independent languages like MiniZinc, while still providing performance that is competitive to specialised algorithms.
Keywords: artificial intelligence constraint programming stochastic local search discrete optimisation algorithm synthesis constraint modelling model transformation
Also available at
Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.