Researchers

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.