About me
I am currently an post-doctoral researcher at CEA LIST, Saclay under the direction of Sébastien Bardin.
Before that, I was a Temporary research and teaching assistants at CentraleSupélec, Rennes in the CIDRE team 2022 to 2023.
I did my thesis under the supervision of Isabelle Puaut, Guillaume Hiet, Frédéric Tronel and Simon Rokicki in the PACAP team at IRISA, Rennes from 2019 to 2023.
Research
My research focuses on:
- Program Analysis
- Software Security
- Compilation
- Real-time systems
My thesis is about improving the security of hard real-time embedded systems.
My goal is to improve it againt memory corruption attacks, using static analysis and compilation.
Here is my
CV (last update: 26/04/2023).
Publications
You can find my publication list on DBLP
here.
Implementation
You can find my gitlab page at:
inria gitlab page.
Talks
Scheduled talks:
Previous talks:
- June 2023 : GDR-GPL Day at Rennes;
- May 2023 Thesis Defense ;
- 2022 ELSE Seminar (presentation of my PhD work) ;
- 2022 D3 PhD Days ;
- 2022 ECRTS ;
- 2022 CIDRE Seminar ;
- 2020 ECRTS ;