Informations professionnelles
Statut: Doctorant en deuxième année
ED: EDITE
Unité de recherche: Eurecom
Employeur: Eurecom Date de debut de thèse: 7 décembre 2020 Directeur de thèse: Aurelien FRANCILLON (Eurecom) Sujet de thèse: Cross-Abstraction Analysis for Complex Embedded Systems (AVATARinator) Numéro PRD: 8102 Contrat thèse: ANR/Labo
Employeur: Eurecom Date de debut de thèse: 7 décembre 2020 Directeur de thèse: Aurelien FRANCILLON (Eurecom) Sujet de thèse: Cross-Abstraction Analysis for Complex Embedded Systems (AVATARinator) Numéro PRD: 8102 Contrat thèse: ANR/Labo