Informations professionnelles
Statut: Doctorant en troisième année
ED: EDITE
Unité de recherche: LRDE
Employeur: EPITA Date de debut de thèse: 1 octobre 2019 Directeur de thèse: Alexandre DURET-LUTZ (LRDE) Encadrant : Adrien POMMELLET (LRDE) Sujet de thèse: Algorithmique des ω-automates Numéro PRD: 5854 Contrat thèse: Programmes Doctoraux
Employeur: EPITA Date de debut de thèse: 1 octobre 2019 Directeur de thèse: Alexandre DURET-LUTZ (LRDE) Encadrant : Adrien POMMELLET (LRDE) Sujet de thèse: Algorithmique des ω-automates Numéro PRD: 5854 Contrat thèse: Programmes Doctoraux