Informations professionnelles
Statut: Doctorant en plus de quatre
ED: EDITE
Unité de recherche: LIP6
Equipe: APR
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
Equipe: APR
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