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.

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
.