Carousel imageCarousel image

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 and I have been a postdoc at INRIA, CEA LIST and Imperial College London between 2014 and 2020.

As you can see on the picture, I particularly like acting! But I also enjoy watching movies and plays, travelling, walking, reading and being a gourmet.