Now I am a postdoc with Mike Hicks, and I am working on Type coercions for program rewriting.

I did my Phd at the MSR-INRIA Joint Centre under the direction of Francesco Zappa Nardelli and CÚdric Fournet.
I received my License d'Informatique and Master's MPRI from the University Paris 6.

My research interests focus on typed programming languages and security.