Fiche de KHEIREDDINE Anissa

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