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 source-to-source compilation of functional programs for the OptiTrust project.
I am hosted by the Inria Camus team and the ICPS team from the ICube laboratory.
I received my Master's degree from Université Paris Cité in Paris, France.
You can contact me at firstname.lastname@inria.fr.