Fiche de KHEIREDDINE Anissa

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