I am an FNRS research associate (tenured researcher position) and Professor in the Mathematics Department and Complexys Institute in the Université de Mons (UMONS), Belgium. I work with the team of T. Brihaye. My research interests are mainly focused on game theory, formal verification and efficient and reliable controller synthesis for reactive systems.