Curriculum Vitæ

Education

  • 2008-2012: Ph.D. candidate at the Open University. Proving Security of C Programs with General-Purpose Verification Tools (accepted).

  • 2007-2008: M2 (M.Sc.) student at the École Normale Supérieure de Cachan - Antenne de Bretagne and at the Université de Rennes II, in Rennes, France.

  • 2006-2007: Undergraduate student at the University of Calgary, Alberta, Canada.

  • 2005-2006: Undergraduate student at the École Normale Supérieure de Lyon, in Lyon, France.

  • 2002-2005: Student in CPGE (undergraduate studies in science, equivalent of engineering years one and two) at Lycée Joffre, in Montpellier, France.

Work Experience

  • 2012-Present: Post-Doctoral Research at IMDEA Software, supervised by Gilles Barthe.

  • February-August 2012: Ph.D. Research Intern at Microsoft Research in Cambridge, UK.

  • August-November 2011: Ph.D. Research Intern at Microsoft Research in Redmond, WA.

  • April-July 2010: Ph.D. Research Intern at the European Microsoft Innovation Centre in Aachen, Germany.

  • February-June 2008: M.Sc. project on Code and Proof Obfuscation, in the Lande team in Rennes, France. Supervised by David Pichardie.

  • May-August 2007: Undergraduate research project on Deforestation of Functional Programs, in the Programming Languages Lab in Calgary, Canada. Supervised by Robin Cockett.

  • June-July 2006: Undergraduate research project on automated processing of natural languages, at Lirmm in Montpellier, France. Supervised by Mehdi Yousfi-Monod and Augusta Mela.