Qui suis-je ?

photo Je m'appelle Matthieu Dien. Je suis doctorant, depuis le 1er Octobre 2014, dans l'équipe APR du LIP6. Mes encadrants sont Antoine Genitrini et Frédéric Peschanski.

Recherche

Mon sujet de recherche est l'étude combinatoire des programmes concurrents.
L'objectif est de vérifier, statiquement, des formules de logiques sur des exécutions de programmes concurrents afin de garantir des propriétés de sûreté. Actuellement, des techniques exhaustives existent. Elles tentent de compresser l'espace d'état (ensemble des exécutions possibles) mais avec des résultats pratiques mitigés.
Notre approche est de générer aléatoirement des exécutions "représentatives" de tels processus. Pour ce faire nous utilisons principalement des méthodes de combinatoire analytique, mais aussi des méthodes de type Monte-Carlo (MCMC, CFTP).

mots clés : combinatoire analytique, génération aléatoire, couplage depuis le passé, monte carlo model checking.

Publications

Présentations

Logiciels

Enseignement