Matthieu Dien

photo Je suis ATER, depuis le 1er Septembre 2018, dans l'équipe AMACC du GREYC. J'ai fait ma thèse au LIP6 où mes encadrants étaient Antoine Genitrini et Frédéric Peschanski. Puis j'ai fait 10 mois de post-doc à Institute of Statistical Science, Academia Sinica à Taïwan. J'y ai travaillé avec Hsien-Kuei Hwang et Michael Fuchs.

Thèse

Mon sujet de recherche principal est l'étude combinatoire des programmes concurrents.
Quand plusieurs processus concurrents s’exécutent en parallèle, l’ordre d’exécution des actions du programme global n’est plus déterminé. On assiste au fameux phénomène "d’explosion combinatoire" faisant référence au très grand nombre d’exécutions globales possibles. Les diverses techniques et méthodes d'analyse existantes (model checking, analyse statique, tests automatisés, etc) se heurtent irrémédiablement à cette "explosion".
J'étudie ce phénomène d'un point de vue combinatoire en proposant des modèles, de plus en plus riches, permettant d'étudier différentes sous-classes de programmes concurrents.
D'un point de vue plus pratique, une manière de palier à ce phénomène est de garantir des résultats statistiques en générant aléatoirement des exécutions de tels programmes.

mots clés : combinatoire analytique, génération aléatoire

Mon manuscript de thèse Processus concurrents et combinatoire des structures croissantes : analyse quantitative et algorithmes de génération aléatoire.


Recherche

Publications

Logiciels

  • Arbogen : un générateur d'arbres aléatoires en OCaml (méthode de Boltzmann)
  • Arboviz : un visualiseur de grands arbres en OCaml
Un graphe cactus croissant aléatoire

Enseignement

2018-2019

  • chargé de TP en L2 : UE Système.
  • chargé de TP en L2 : UE Programmation Orienté Objet.
  • chargé de TD/TP en M2 e-secure : UE Transmission de l'information (les sujets sont )