My research focuses on:

  • Synchronous languages
  • WCET analysis
  • Abstract interpretation
  • Real-time scheduling

I do my research in the SyCoMoRES team.

I contribute to the following software projects:

  • Prelude, a synchronous language;
  • Polymalys, a binary code abstract interpreter;
  • WSymb, a parametric WCET analyzer.