Bio

I am a 3^rd year PhD student in computer science at the doctoral school ED MSTII of Université Grenoble Alpes on the topic "Analysis, Optimisation and Debugging of BPMN Processes". I am working in the CONVECS team, a research team shared between INRIA Grenoble and LIG working on formal modeling and verification of asynchronous concurrent systems.
The lists below detail my professional and my school careers.

School Career

• October 2022 ‒ Now: Phd student, INRIA/LIG/CONVECS, Montbonnot-Saint-Martin, France
• September 2020 ‒ July 2022: Master degree (MoSIG) in computer science ("Distributed Computing" speciality) obtained with high honours, Grenoble INP ENSIMAG/IM²AG, Grenoble, France
• September 2019 ‒ May 2020: Bachelor in computer science obtained with honours, IM²AG, Grenoble, France
• September 2018 ‒ May 2019: 2^nd year of Bachelor in mathematics, DLST, Grenoble, France
• September 2016 ‒ July 2018: Preparatory class, CPP - La Prépa des INP, Grenoble, France
• June 2016: Baccalauréat S (sciences) obtained with highest honours, lycée Albert Triboulet, Romans-sur-Isère, France

Professional Career

• October 2022 ‒ Now: Phd student, INRIA/LIG/CONVECS, Montbonnot-Saint-Martin, France
• February 2022 ‒ July 2022: Internship "Debugging of Behavioural Models via Counterexample Analysis and Graph Visualisation", INRIA/LIG/CONVECS, Montbonnot-Saint-Martin, France
• January 2021 ‒ Juin 2021: Internship "Étude de l'adaptation de Chatbots généralistes à un domaine d'application genré : application au dialogue sur la santé des femmes", LIG/GETALP, Grenoble
• June 2020 ‒ August 2020: Software maintainer, Infologic, Bourg-lès-Valence, France
• June 2019 ‒ August 2019: Software maintainer, Infologic, Bourg-lès-Valence, France
• June 2018 ‒ August 2018: Software maintainer, Infologic, Bourg-lès-Valence, France
• June 2017 ‒ August 2017: Software maintainer, Infologic, Bourg-lès-Valence, France