I took part in many projects that aims at soundly verifying source code using static analysis for critical software systems. In particular, I worked in collaboration with AbsInt GmbH and Airbus to improve analysis methods to prove safety and security of low-level software, such as OSes.
Learn more about my PhD thesis, my defense, and the minutes of the jury here.
I also have a strong background in math and extensive experience in big software development, making me able to tackle most challenges in software systems.
Proving the security of software-intensive embedded systems by abstract interpretation.
MS. in theoretical computer science obtained with highest honors (17.5/20).
B.Sc. in theoretical computer science obtained with honors (15.84/20)
I'm an expert in C++17. I also master OCaml, LATEX, Python and x86.
Furthermore, I have vast knowledge in theoretical computer science and mathematics, in particular, logic, semantics, computability theory, probability and algorithmics.
State of the art static analyzer based on abstract interpretation with industrial applications developped at Antique since 2001.
Advanced and generic testing tool motivated by Astrée.
Pretty printing library using Format’s semantic tags to generate well-parenthisized ANSI escape sequences.
Template-intensive high-performance framework for simulation of abstract computation model.
A modular and open source question answering framework. Initially a team of seven students, now an open source project.
More information on the project website. You can also try the online demo.
SAT and SMT solver using state of the art algorithms
Write a 300 pages paper introducing to compatibility theory
2021 Chevalier