Fiche de RENKIN Florian

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