I 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 conference.
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.