I am a full-time researcher at Inria, in the team Toccata (formerly ProVal), in Saclay.
Previously, I did my PhD with François Pottier at Inria (Rocquencourt), and a post-doc with Umut Acar at the Max Planck Institute for Software Systems (Kaiserslautern).
My research focuses on programming languages and formal proofs.
Formal metatheory
Specification and verification
Formal proofs in Coq
Parallel programming