2008-2012: Ph.D. student at the Open University. Proving Security of C Programs with General-Purpose Verification Tools.
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.
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.