Now formal method engineer at Alstom, Paris, France (April 2019 –)
PhD defended in Dec. 2018:
- Génération de codes et d’annotations prouvables d’algorithmes de points intérieurs à destination de systèmes embarqués critiques
- Committee:
- Dr. Yves BERTOT, Rapporteur
- Pr. Eric FERON, Examinateur
- Dr. Sylvie BOLDO, Examinatrice
- Pr. Didier HENRION, Directeur de thèse
- Dr. Pierre-Loïc GAROCHE, Co-directeur de thèse
- Pr. Sylvie PUTOT, Président
- PhD delivered by ISAE-Supaero, ENS funding, co-advised by Didier Henrion and Pierre-Loic Garoche
- Manuscript