Who am I?


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 2014.me
  • 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.

Previous positions

Visits, Short research, and teaching appointments

 Posted by at 8:41 AM

Sorry, the comment form is closed at this time.