I'm a researcher in Computer Science at INRIA, in Sophia-Antipolis. I graduated from Ecole Polytechnique, then PhD from University of Nice. My past interests include software engineering, logical languages for proof of programs, Partial Evaluation and Parallelization. My current focus is Automatic Differentiation.