Bio

Short Bio

  • Associate Professor at Univ. Grenoble Alpes in the computer science department (UFR IM2AG) – Researcher at LIG (Grenoble Informatics Lab) since 2011 and member of the Inria research team CORSE since 2014.
  • 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. During my Ph.D. period, I worked with Prof. Laurent Mounier and Prof. Jean-Claude Fernandez.
    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 specialty “validation of Critical Systems” at Université Joseph Fourier (now Univ. Grenoble Alpes); 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