Fiche de RENKIN Florian

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