photo

Matthieu Dien, laboratoire GREYC, UNICAEN

Depuis le 1er Septembre 2022, je suis maître de conférences au département RT de l'IUT Grand Ouest Normandie (Caen) et au laboratoire GREYC, dans l'équipe SAFE. 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. Ensuite j'ai enchaîné un ATER et 3 ans de postdoc au GREYC dans l'équipe AMACC.

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 (étudiés pendant ma thèse).
Depuis mon arrivée à Caen mes projets de recherche concernent notamment:

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

Prépublications

Publications

Logiciels

  • Usain Boltz : une implémentation de générateurs de Boltzmann pour Sage.
  • 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.

Enseignements

2022-2023 (Département RT)

  • TP de R1.01 : Initiation aux réseaux informatiques
  • TP de R1.03 : Réseaux locaux et équipements actifs
  • Cours de R3.04 : Services d’annuaires
  • Cours de R3.Cyber.16 : Méthodologie du pentesting

2020-2022 (Université de Caen)

2019-2020 (Université de Caen)

  • chargé de cours et TP en M1 : UE Tests et modèles aléatoires. Projet 1
  • chargé de cours et TP en M2 : UE Sécurité des serveurs et applications.

2018-2019 (Université de Caen)

  • 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 (Université Pierre et Marie Curie)

  • 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).