Fiche de KLEMENTEV Mikhail

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