Joël Nguetoun Doctorant

Github

Direction de thèse : Pascale Le Gall, Boutheina Bannour

Mots-Clefs : Model Mining, Model discovery, Distributed systems, Formal verification, Formal Specification, Interaction models

Je suis doctorant au sein de l'équipe Arcade du laboratoire MICS et du laboratoire LECS du CEA-List, sous la supervision de Pascale Le Gall et Boutheina Bannour. Mes travaux de recherche portent sur le développement d'un processus algorithmique destiné à  la découverte de modèles formels plausibles de systèmes distribués, à  partir de l'observation de leurs exécutions. Le formalisme utilisé pour représenter ces modèles est le langage d'interaction.