Since September 2015, I am now Associate Professor at Aix-Marseille University (AMU), in the Laboratoire d'Informatique Fondamentale de Marseille (LIF), as a member of the team Modelisation and Verification. You will find updated information about me on my new webpage.