Informations professionnelles
Statut: Doctorant en troisième année
ED: EDITE
Unité de recherche: LIP6
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 Numéro PRD: 6440 Contrat thèse: Ens. Sup. - Autres
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 Numéro PRD: 6440 Contrat thèse: Ens. Sup. - Autres