Fiche de DIEN Matthieu

Informations professionnelles


Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6


Date de debut de thèse: 1 janvier 1900
Date soutenance de thèse: 1 janvier 1900
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. Numéro PRD: 4069