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

I am a PhD student in the Arcade team of the MICS laboratory at CentraleSupelec, under the supervision of Pascale Le Gall and Paolo Ballarini. My research focuses on the development of methods and algorithms for the discovery of stochastic processes, such as stochastic Petri nets and stochastic process trees, enabling the translation and modelling of behaviour observed in stochastic systems from event logs.