Who am I?

meI am an Associate Professor in Computer Science at Univ. Grenoble Alpes. I am also a member of the Inria Grenoble Corse research team and of the Laboratoire d’Informatique de Grenoble (computer science lab of Grenoble).

Regarding research, my interests are in formal methods and software engineering in general, and runtime verification in particular. I am a member of the Steering Committees of the Runtime Verification and the Software Verification and Testing conferences.

Regarding teaching, I am a member of UFR IM2AG, the computer science department of Univ. Grenoble Alpes where I mainly teach automata theory and the semantics of programming languages and the design of compilers.

I have a mission for valorization aspects for the Laboratoire d’Informatique de Grenoble (LIG). Not so long ago, I was an elected member of the council of LIG as well as of the Research Council and Academic Council of Univ. Grenoble Alpes.