Recent Publications

In this paper we propose a new abstract domain for static analysis of binary code. Our motivation stems from the need to improve the …

Infeasible paths are a major cause of overestimation of the Worst-Case Execution Time (WCET): without data flow constraints, static …


My CV is available in HTML or PDF form (a bit outdated).


I am teaching the following practical courses at Polytech for the 2018-2019 academic year.

  • GIS3LT: Language and Translators (Spring, in French)
  • GIS3 Syst: Systems (Spring, in French)
  • GIS3SA: Advanced Systems (Fall, in French)


I am an active member of the development team of Teeworlds, an online retro multi-player platform 2D shooter, and my childhood’s game.

It is free, open-source, distributed on Steam, Flathub, and as a package on most Linux repositories; it is available on all major platforms. Its free license allows and encourages a large variety of content and forks.


I leave on this website documentation for my projects.

You can also read the abstract of my PhD thesis, although the full-text is unfortunately in French.


  • <first name><last name>