I am a Professor in the Department of Software Science of the Institute for Computing and Information Sciences at Radboud University, Nijmegen, Netherlands. Furthermore, I am affiliated with the School of Mathematical and Computer Sciences at Heriot-Watt University, Edinburgh, Scotland.