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).

I am an elected member of the Research and Academic Councils of Univ. Grenoble Alpes, an elected member of the council of the Laboratoire d’Informatique de Grenoble (LIG) and I have a mission for valorization aspects.

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 Committee 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.

I welcome collaborations and motivated students to work on research and teaching subjects.
Feel free to contact me for any discussion
.