Responsibilities

Teaching responsibilities

2026 - presentDirector of Studies - 2nd year
Department of Computer Science, Sorbonne University

2026 - presentCo-responsible of the Thematic Group GLSec of the Software Sciences National Research Network (GDR SciLog)
2026 - presentMember of the Research Committee of the Software Sciences National Research Network (GDR SciLog)
2025 - presentMember of the Steering Committee of the Computer Science Colloquium of Sorbonne University
2025 - presentLocal manager (LIP6) of the MeFoSyLoMa working group
Working group bringing together the Paris-area teams working on formal methods
2025 - presentScientific animation of the MoVe team (LIP6)
Team meetings, seminars

2026Jury member of the GDR SciLog PhD thesis award
Theses defended in 2025 (3 applications evaluated out of 15)

2025 - 2026Chair of a baccalaureate jury (Versailles academy, general baccalaureate)
2021 - 2023Maintainer of the website of the department of formal methods of LORIA
2021 - 2023Member of the Internationalization Committee of the Université de Lorraine
2018 - 2019Treasurer of the Arts Office (Bureau des Arts de l’ENS de Rennes) and of the “InterENS Culturelles” organizing committee

2020 - 2023Elected representative PhD student to the council of the IAEM Doctoral School
2020 - 2023Elected representative PhD student to the AM2I scientific division
2020 - 2023Elected representative PhD student to the Lorraine Council of Doctoral Schools (Conseil Lorrain des Écoles Doctorales)
2020 - 2023Elected 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 - 2020Elected 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)