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.