Presentation / Contact me


My academic resume as of May 2017 can be downloaded here.

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 Univ. Grenoble Alpes at Verimag Laboratory (Grenoble – France) under the supervision of Prof Jean-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 profiles on:


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.