Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6
Date de debut de thèse: Non disponible Date soutenance de thèse: 22 septembre 2017 Directrice de thèse: Michèle SORIA (LIP6) Directeur de thèse: Antoine GENITRINI (LIP6) Sujet de thèse: Analyse de programmes concurrents via des outils de combinatoire analytique et de théorie des ordres.
Date de debut de thèse: Non disponible Date soutenance de thèse: 22 septembre 2017 Directrice de thèse: Michèle SORIA (LIP6) Directeur de thèse: Antoine GENITRINI (LIP6) Sujet de thèse: Analyse de programmes concurrents via des outils de combinatoire analytique et de théorie des ordres.