Informations professionnelles
Statut: Doctorant en troisième année
ED: EDITE
Unité de recherche: LIP6
Equipe: MoVe
Employeur: EPITA Date de debut de thèse: 7 octobre 2019 Encadrant : Etienne RENAULT (LRDE) Directeur de thèse: Souheib BAARIR (LIP6) Sujet de thèse: Parallélisations et optimisations du Bounded Model-checking
Equipe: MoVe
Employeur: EPITA Date de debut de thèse: 7 octobre 2019 Encadrant : Etienne RENAULT (LRDE) Directeur de thèse: Souheib BAARIR (LIP6) Sujet de thèse: Parallélisations et optimisations du Bounded Model-checking