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 council of the Laboratoire d’Informatique de Grenoble (LIG) and I have a mission for valorization aspects. I was an elected member of the Research and Academic Councils of Univ. Grenoble Alpes.
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 am always looking for motivated students to work on research and teaching subjects.
Feel free to contact me for any discussion.