Bio
I am currently a postdoctoral fellow in the formal methods team of the Carl von Ossietzky Universität Oldenburg. The lists below detail my professional and my school careers.
School Career
- October 2022 ‒ December 2025: PhD entitled "Analysis, Optimisation, and Debugging of BPMN Processes", 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/IM2AG, Saint Martin d'Hères, France
- September 2019 ‒ May 2020: Bachelor in computer science obtained with honours, IM2AG, Saint Martin d'Hères, France
- September 2018 ‒ May 2019: 2nd year of Bachelor in mathematics, DLST, Saint Martin d'Hères, France
- September 2016 ‒ July 2018: Preparatory class, CPP - La Prépa des INP, Saint Martin d'Hères, France
- June 2016: Baccalauréat S (sciences) obtained with highest honours, lycée Albert Triboulet, Romans-sur-Isère, France
Professional Career
- February 2026 ‒ Now: Post-doctoral Position, Carl von Ossietzky Universität Oldenburg, Formal Methods Team, Oldenburg, Germany
- October 2022 ‒ December 2025: PhD entitled "Analysis, Optimisation, and Debugging of BPMN Processes", INRIA/LIG/CONVECS, Montbonnot-Saint-Martin, France
- February 2022 ‒ July 2022: Internship entitled "Debugging of Behavioural Models via Counterexample Analysis and Graph Visualisation", INRIA/LIG/CONVECS, Montbonnot-Saint-Martin, France
- January 2021 ‒ June 2021: Internship entitled "É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