About me
I am a postdoctoral researcher at the University of Luxembourg, where I am part of the Security, Reasoning and Validation (SeRVal) team within the Security and Trust (SnT) interdisciplinary research centre. Before that, I graduated with a PhD in computer science from the University of Rennes in April 2024, after 3 years of doctoral study spent within Inria’s LinkMedia team and in Thales Group’s La Ruche team.
Research
My research is focused on AI Safety and more precisely on AI formal/statistical verification methods. The subject of my Ph.D. thesis was the estimation of the reliability of Deep Neural Networks classifiers predictions, using Rare Event simulation algorithms.
Contact me
You can contact me at the institutional adress below: