Presentation / Contact me


Short Bio


  • Associate Professor at Univ. Grenoble Alpes at the computer science department (UFR IM2AG) – Researcher at LIG (Grenoble Informatics Lab) since 2011
    and member of the Inria  research team CORSE since
  • Ph.D. in Computer Science from University of Grenoble-Alpes at Verimag Laboratory (Grenoble – France) under the supervision of Prof Jea
    n-Claude Fernandez
    ; obtained in 2009.
    Topic: Design and implementation of runtime validation techniques, i.e., methods for evaluating whether a system meets a set of desired properties during its execution.
  • Master in Computer Science with speciality “validation of Critical Systems” at Université Joseph Fourier (University of Grenoble 1); obtained in 2006.Topic: a formal framework for testing security policies.
  • Bachelor in Computer Science at Université Joseph Fourier; obtained in 2004.

Contact Information





+33 (0) 4 38 78 61 52.


To be updated.

Surface Mail:

Équipe CORSE
Équipe de recherche mixte Inria/LIG
Antenne Inria Giant
DRT/LETI/DACLE/ – Bâtiment 50C – Office C 344.
Minatec Campus
17 rue des Martyrs
38054 Grenoble Cedex

My profile on  linkedin-logo

How to reach me

Minatec Campus.
Building 50C.


Previous positions

Visits, Short research, and teaching appointments

 Posted by at 8:41 AM

Sorry, the comment form is closed at this time.