Experience
Education
Bio
I am a researcher in the Marelle Team at Sophia Antipolis. Most of my work deals with compilers, formal proofs, certification of cryptographic algorithms, proof assistants, type theory and proof by reflexion.