Fiche de DELMAS David

Informations professionnelles


Statut: Doctorant en plus de quatre
ED: EDITE
Unité de recherche: LIP6
Employeur: AIRBUS / APSYS


Date de debut de thèse: 1 février 2018
Directeur de thèse: Antoine MINE (LIP6)
Sujet de thèse: Analyse statique par interprétation abstraite de la portabilité des logiciels Numéro PRD: 5787
Contrat thèse: CIFRE -- CDI