Since September 2025, I have been an Associate Professor (Maître de conférences) in computer science at Université d’Orléans, within the LMV team of LIFO. I am currently involved in the Taranis project, the ANR ForCoala project on the verification of a configuration language (Ansible), the RaDyD project about Résilience par Adaptation Dynamique pour le traitement de Données, and the UniVerSE project, which focuses on the verification of spaces of configurations.
From 2017 to 2019, I worked at Northern Arizona University as a graduate research assistant under the supervision of Frederic Loulergue. During this time, my research focused on the systematic development of efficient programs on parallel data structures.
In 2019, I joined IMT Atlantique in Nantes, where I pursued my PhD within the Naomod and STACK teams. Under the joint supervision of Gerson Sunye, Massimo Tisi, and Helene Coullon, my research explored the field of Model-Driven Engineering. My thesis, entitled “Contribution to the analysis of the design space of a distributed transformation engine,” was successfully defended in 2022.
Between February 2023 and July 2024, I held a postdoctoral position at IMT Atlantique under the supervision of Helene Coullon and Charles Prud’Homme. I contributed to the SeMaFoR project, focusing on the decentralization of distributed systems reconfiguration through the use of constraint programming.
From August 2024 to August 2025, I held a postdoctoral position at Université de Rennes within the DiverSE team, under the supervision of Olivier Barais. During this period, I was involved in the Taranis project, initiated in the context of PEPR Cloud.
