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

I am a PhD student in the Arcade team at the MICS laboratory and the LECS laboratory at CEA-List, under the supervision of Pascale Le Gall and Boutheina Bannour. My research focuses on the development of an algorithmic process designed to discover plausible formal models of distributed systems, based on the observation of their execution. The formalism used to represent these models is the interaction language.