About Me

My picture

I am a PhD. student in Computer Science with interests in static analysis by abstract interpretation and computability theory.

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.

Education & Experience

B. Sc. in Computer Science

ENS de Lyon [2013-2014]

BSc. in computer science obtained with honors.

Research internship

Computer Science Laboratory of the École Polytechnique (LIX, Alco team) [2014]

Characterization of the functions calculated by a Turing machine with a bound on the number of transitions with a change of state

First year of M. Sc. in Computer Science

ENS de Lyon [2014-2015]

Research internship

TrustInSoft [2015]

Second year of M. Sc. in Computer Science

EPFL [2015-2016]

MSc. in computer science obtained with highest honors.

Research internship

Computer Science Laboratory of the École Normale Supérieure (Antique team, AnaStaSec Project) [2016-2017]
  • Static Analysis of properties of data access rights in critical embedded software.
  • Analysis of inline assembly in C code with Astrée.

My Skills

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.

Others

Projects

Platypus

ENSL, team of 7 people [September 2014 - Present]

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.


Megasat

ENSL, team of 2 people [Feb. 2014 - May 2014]

SAT and SMT solver using state of the art algorithms


Introduction à la calculabilité (Introduction to computability theory)

[Oct. 2011 - Present]

Write a 300 pages paper introducing to compatibility theory


2018 Chevalier