Fiche de MARTIN Antoine yves

Informations professionnelles


Statut: Doctorant en quatrième année
ED: EDITE
Unité de recherche: LRE
Equipe:
Employeur: EPITA


Date de debut de thèse: 18 octobre 2021
Directeur de thèse: Alexandre DURET-LUTZ (LRE)
Encadrant : Etienne RENAULT (LRE)
Sujet de thèse: Traduction à la volée de logiques temporelles industrielles en ω-automates Thématique : Modèles de calcul, preuve, vérification