I am a PhD student in Computer Science at the University of Strasbourg, in France.
I work under the supervision of Arthur Charguéraud on the formal verification of source-to-source transformations in the OptiTrust project.
I am interested in research in programming languages, program verification, separation logic and more recently in program optimization.
I am hosted by the Inria Camus team and the ICPS team from the ICube laboratory. I also regularly visit the Inria Cambium team in Paris.
Before my PhD, I was a student in the Computer Science department of the École Normale Supérieure in Paris.
You can contact me by email at