Informations professionnelles
Statut: Doctorant en troisième année
ED: EDITE
Unité de recherche: LRDE
Equipe:
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 Thématique : Modèles de calcul, preuve, vérification Date de prévisionnelle de soutenance: 7 octobre 2022
Equipe:
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 Thématique : Modèles de calcul, preuve, vérification Date de prévisionnelle de soutenance: 7 octobre 2022