Informations professionnelles
Statut: Doctorant en plus de quatre
ED: EDITE
Unité de recherche: LIP6
Equipe: MoVe
Employeur: EPITA Date de debut de thèse: 7 octobre 2019 Encadrant : Etienne RENAULT (LRE) Directeur de thèse: Souheib BAARIR (LRE) 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 (LRE) Directeur de thèse: Souheib BAARIR (LRE) Sujet de thèse: Parallélisations et optimisations du Bounded Model-checking