Avatar

Guillaume Davy

Formal method Engineer @ Alstom

ONERA

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

Latest