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.


During the 2018-2019 academic year, I was teaching the following practical courses at Polytech:

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

Previously, at Université Toulouse III, I taught 214 hours of practical courses during the 2014-2017 years, at all levels from freshman to last year, including the topics of: algorithmics, logic, programming in C, Java, Python, OCaml, Ada, ARM assembly, compiling techniques and theories.


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>