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
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