Responsabilités collectives

Responsabilités pédagogiques

2026 - aujourd'huiDirecteur des études L2
Département de Licence Informatique, Sorbonne Université

2026 - aujourd'huiCo-responsable du Groupe Thématique GLSec du GDR Sciences du Logiciel (SciLog)
2026 - aujourd'huiMembre du Comité de la recherche du GDR Sciences du Logiciel (SciLog)
2025 - aujourd'huiMembre du Comité de Pilotage du Colloquium d'Informatique de Sorbonne Université
2025 - aujourd'huiResponsable local (LIP6) du groupe de travail MeFoSyLoMa
Groupe de travail regroupant les équipes franciliennes travaillant sur les méthodes formelles
2025 - aujourd'huiAnimation scientifique de l'équipe MoVe (LIP6)
Réunions d'équipe, séminaires

2026Membre du jury du prix de thèse du GDR SciLog
Thèses soutenues en 2025 (3 dossiers évalués sur 15 candidatures)

2025 - 2026Président de jury du baccalauréat (académie de Versailles, baccalauréat général)
2021 - 2023Mainteneur du site web du département de méthodes formelles de LORIA
2021 - 2023Membre du Comité d'Internationalisation de l'Université de Lorraine
2018 - 2019Trésorier du Bureau des Arts de l'ENS de Rennes et du comité d'organisation des InterENS Culturelles

2020 - 2023Représentant élu doctorant au conseil de l'École Doctorale IAEM
2020 - 2023Représentant élu doctorant au pôle scientifique AM2I
2020 - 2023Représentant élu doctorant au Conseil Lorrain des Écoles Doctorales
2020 - 2023Représentant élu doctorant au Comité de Pilotage du Label “Compétences pour l’entreprise”
2017 - 2020Représentant élu étudiant au Conseil d'Administration de l'École normale supérieure