Collective Responsibilities
Member of the organization committee of an international conference
| Year | Designation |
|---|---|
| 2023 | European joint conferences on theory and practice of software (ETAPS 2023), > 550 participants (April 22-27, 2023), Paris, France. |
Collective responsibilities
| Year | Designation | |||
|---|---|---|---|---|
| 2021 - … | Maintainer of the website of the departement of formal methods of LORIA | |||
| 2021 - 2023 | Member of the Internationalization Committee of the Université de Lorraine | |||
| 2020 - 2023 | Elected representative PhD student to the council of the IAEM Doctoral School | |||
| 2020 - 2023 | Elected representative PhD student to the AM2I scientific division | |||
| 2020 - 2023 | Elected representative PhD student to the Lorrainer Council of Doctoral Schools (Conseil Lorrain des Écoles Doctorales) | |||
| 2020 - 2023 | Elected representative PhD student to the Steering Committee for the “Skills for the Company” Label (Comité de Pilotage du Label “Compétences pour l’entreprise”) | |||
| 2017 - 2020 | Elected representative student to the Governing Board of the École normale supérieure de Rennes (2 terms), Social Aid Commission (2 terms) and International Mobility Commission (1 term) | |||
| 2018 - 2019 | Treasurer of the Arts Office (Bureau des Arts de l’ENS de Rennes) and of the “InterENS Culturelles” organizing committee |