I recentely defended my PhD thesis under the supervision of Jérôme Feret in the Antique team at the ENS. I’m working to improve the Astrée static analyzer to be able to prove some security properties of an operating system. This implies to find ways to make the memory models of C and assembly to work together. Moreover, we need to be able to handle ghost variables to express complex properties inherent to low-level source code.
PhD in Computer Science, 2020
École Normale Supérieure
MSc in Computer Science, 2016
École Normale Supérieure de Lyon/EPFL
BSc in Computer Science, 2014
École Normale Supérieure de Lyon
Astrée for Security