Pierre Cry Doctorant

LinkedIn Github

Direction de thèse : Pascale Le Gall, Paolo Ballarini

Mots-Clefs : Méthodes formelles, Process Mining, Process Discovery, Model Checking, Réseaux de Pétri Stochastique, Automate hybride

Je suis doctorant au sein de l'équipe Arcade du laboratoire MICS à l'école CentraleSupélec, sous la supervision de Pascale Le Gall et Paolo Ballarini. Mes travaux de recherche portent sur le développement de méthodes et d'algorithmes destinés à la découverte de processus stochastiques, tels que les réseaux de Petri stochastiques et les arbres de processus stochastiques, permettant la traduction et la modélisation de comportements observés dans des systèmes stochastiques à partir de journaux d'événements.