Registered user since Mon 18 Dec 2017
I am a passionate researcher in software safety and security. I believe that, in the right conditions, computers can be the best allies of humans to make better programs. I spend most of my time conceptualising, designing and studying software tools to help us make code more trustworthy. I deploy and evaluate these tools in industrial environments.
My research is at the crossroads of software engineering, formal methods, programming languages, systems and security. I use various techniques, such as symbolic execution, static analysis, fuzzing, SMT solving and machine learning, to analyse and improve how much software can be trusted.
Since 2020, I have been a tenured researcher at the CEA LIST institute, within Université Paris-Saclay. I obtained my Ph.D. in 2014 from Université de Namur (BE) and I have been a postdoc at INRIA, CEA LIST (FR) and Imperial College London (UK) between 2014 and 2020.
Contributions