I am currently a Research Associate in the Software Reliability Group at Imperial College London, under the direction of Pr Cristian Cadar. For now, I am experimenting with the Chopper tool in order to automate the selection of skipped code regions.
Last year, I was a postdoctoral researcher at University of Lille, in the CRIStAL labs. My research work revolved around techniques, algorithms and abstractions for the static analysis of binary code, and a better understanding of its underlying structures. When not on a whiteboard, I would develop prototypes for the OTAWA WCET tool, or teach at the Polytech engineering school.
I received my PhD in static program analysis at age 24 from the University of Toulouse III where I was delighted to work closely with Hugues Cassé on OTAWA. I engineered PathFinder, a tool for infeasible path detection on binary code, which parses the graph representation of a program and looks for impossible execution paths. It outputs data flow properties that provably tighten WCET estimations, necessary to safely develop critical systems, namely in aeronautics and space.
PhD in Static Analysis of Binary Code for Safe WCET Estimations, 2017
University of Toulouse III - under the supervision of C. Rochange, H. Cassé
MSc in Critical Software, 2014
University of Toulouse III
BSc in Computer Science, 2012
University of Toulouse III
BSc in Pure Mathematics, 2012
University of Toulouse III
During the 2018-2019 academic year, I was teaching the following practical courses at Polytech:
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.