Experience

Marigold

• France
• Software Development
• 1 - 100 Employee

• Software Engineer

  • Mar 2022 - Present



Capgemini

• France
• IT Services and IT Consulting
• 700 & Above Employee

• Software Engineer

  • Jun 2018 - Mar 2021



Ministère de l'Éducation nationale et de la Jeunesse

• France
• Government Administration
• 700 & Above Employee

• Maîtres auxiliaires de l'enseignement secondaire en mathématiques

  • Sep 2014 - Jan 2018



EPFL (École polytechnique fédérale de Lausanne)

• Switzerland
• Higher Education
• 700 & Above Employee

• Associé recherches postdoctoral

  • Apr 2013 - Mar 2014



Inria

• France
• Research Services
• 700 & Above Employee

• Chercheur doctorant

  • Sep 2009 - Mar 2013

  Analyse statique certifiée en logique du premier ordre multi-sortée.J'ai travaillé sur la vérification de résultats d'analyses statiques à l'aide de procédure de décision de statisfiabilité modulo théorie. A partir du programme à vérifier et des invariants générés par l'analyse statique à certifier, des conditions de vérification sont générées et déchargées par des solveurs automatiques tiers. Analyse statique certifiée en logique du premier ordre multi-sortée.J'ai travaillé sur la vérification de résultats d'analyses statiques à l'aide de procédure de décision de statisfiabilité modulo théorie. A partir du programme à vérifier et des invariants générés par l'analyse statique à certifier, des conditions de vérification sont générées et déchargées par des solveurs automatiques tiers.