My PhD. work has two sides. First, I extend the static analyzer Astrée to make it able to analyze inline x86 assembly in C code.
The other part of my work is to improve backward analysis of alarms using event structures. The aim is to ease the diagnosis by providing clearly the source of alarms.
My experience includes proving safety and absence of undefined behaviour in various type of software, including embedded software, hypervisor but also high-level libraries.
Moreover, I took part to a project which aims to analyze C++ code.
BSc. in computer science obtained with honors.
Characterization of the functions calculated by a Turing machine with a bound on the number of transitions with a change of state
MSc. in computer science obtained with highest honors.
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.
A modular and open source question answering framework. Initially a team of seven students, now an open source project.
SAT and SMT solver using state of the art algorithms
Write a 300 pages paper introducing to compatibility theory