I am a senior researcher of the Cnrs. I am mainly interested in logic, automata theory, games and categories related to verification. I have defended my PhD thesis in 2004, and my habilitation thesis in 2013 (the document in french). More precisely, I am interested in model theory, finite model theory, monadic-second order logic, databases, language theory, semigroups, automata theory and in particular quantitative forms of automata (weighted automata, regular cost functions, nominal automata), as well as games for verification and model-checking. I also started to investigate the connections between all these subjects and category theory.