I am a PhD student in Computer Science, at the University of Strasbourg, in France. I worked under the supervision of Arthur Charguéraud; and now under the supervision of Thomas Kœhler and Nicolas Magaud on verified 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 Institut Polytechnique de Paris and Université Paris Cité in Paris, France.
You can contact me at firstname.lastname@inria.fr.