You can download my resume here (last updated in feb. 2017)

Research positions

  • Oct. 2017-…: Research scientist (CRCN), Inria Bordeaux (STORM team), France
  • Dec.2016-Sept.2017: Postdoctoral fellow, Inria Grenoble (CORSE team), France
  • Oct.2015-Oct.2016: Postdoctoral fellow, University of California Berkeley, USA

Student supervision

  • PhD
  • Postdoc
  • Internship
    • Antoine Tirel (Undergrad at Enseirb-Matmeca, 3 months internship in 2018)
      “Utilisation de la compilation pour aider la vérification formelle”
    • Ahmed Amine Nassik (Undergrad at Polytech Grenoble, 3 months internship in 2017), co-supervision with Jean-François Méhaut (Inria Grenoble, France)
      “Optimisation d’un noyau de calcul à l’aide de BOAST”
    • Hugo Brunie (Undergrad at Enseirb-Matmeca, 6 months internship, 2015), co-supervision with Patrick Carribault (CEA, France) and Denis Barthou (Inria)
      “Validation des applications parallèles multi-modèles sur supercalculateur - Extension de PARCOACH”
    • Arthur Loussert (Undergrad at University of Versailles, 2 months internship, 2014), co-supervision with Patrick Carribault (CEA, France)
      “Evaluation d’une méthode d’analyse dynamique pour la validation des applications en environnement massivement parallèle”
  • 2012-2015: PhD student, CEA, France
  • 2011-2012: Master (year 2) in Computer Science, University of Versailles, France
  • 2010-2011: Master (year 1) in Computer Science, University of Versailles, France
  • 2008-2010: Licence in Mathematics and Computer Science, University of Paris 7, France
  • 2006-2008: “Classes préparatoires aux grandes écoles” in Science, Lycée Saint Charles, Orléans, France