I received my License d'Informatique and Master's MPRI from the University Paris 6.
I did my Phd at the MSR-INRIA Joint Centre under the direction of Francesco Zappa Nardelli and CÚdric Fournet.
Then I did a postdoc with Mike Hicks, working on Type coercions for program rewriting.

My research interests focus on programming languages, types, security, and program verification.



I have developed a prototype of monadic Coercions Compiler Coco,
and contributed to the projects F7: Refinement types for F#, and Ocsigen web server.