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.

Ma recherche

Pendant ma thèse j'ai travaillé sur l'étude combinatoire de systèmes concurrents. J'ai décrit différents modèles de structures discrètes ayant une interprétation en concurrence et pouvant être étudié avec des outils de combinatoire, analytique notamment.
En post-doc à Taïwan, j'ai travaillé sur les lois limites du degré à la racine dans le modèle d'arbre croissants. Ce travail se généralisant aux modèles de diamants croissants décris dans ma thèse. Depuis mon arrivée à Caen j'orgagnise un groupe de lecture et de travail au sein de l'équipe AMACC. J'ai aussi organisé deux journées autour de l'ANR MetaConC. Enfin, je travaille avec Julien Courtiel dans le cadre du projet JCJC ASTEC que nous avons monté ensemble. Mes projets de recherche actuels concernent notamment:

  • les ordres sans cycles, sans couronnes (et les graphes associés)
  • les machines de Buffon
  • la génération aléatoire uniforme (projet Usain Boltz)
  • l'algorithmique du texte

mots clés : combinatoire (anaytique), génération aléatoire, structures croissantes

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

Me contacter : matthieu.dien[arobase]unicaen.fr


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 (ATER)

  • chargé de cours en L2 : UE Introduction à la sécurité et l'aide à la décision.
  • chargé de TP en L2 : UE Travail personnel approfondi.
  • chargé de TP en L1 : UE Conception logiciel.
  • 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 )

2014-2017 (monitorat)

  • chargé de TD en M2 : UE Analyse d'algorithmes et génération aléatoire.
  • chargé de TD en M1 : UE Algorithmique Avancée.
  • chargé de TD en L3 : UE Programmation Orienté Objet (Java).
  • chargé de TP en L2 : UE Fonctions et procédures de calcul (Ocaml).
  • chargé de TD/TP en L1 : UE Eléments de programmation (Python).