Doctorat
Intitulé : INFORMATIQUE
1ère inscription en thèse :
Septembre 2018 /
1A these 2018
École doctorale :
Mathématiques et Informatique de Marseille
Sujet :
Transducteurs et automates quantitatifs alternants : expressivité et décidabilité
Directeur de thèse :
Jean-Marc TALBOT
Co-directeur :
Benjamin MONMEGE
Unité de recherche :
LIF - Laboratoire d'Informatique Fondamentale de Marseille
Intitulé de l'équipe :
Master
Intitulé : Master parisien de Recherche en Informatique
Septembre 2017 - Ecole Normale Supérieure Paris-Saclay
Mention : Bien
