Member of Program Committee
- Post-AI Formal Methods Workshop, 2026
- AAAI Conference on Artificial Intelligence (AAAI), 2026
- European Conference on Artificial Intelligence (ECAI), 2025
- International Joint Conference on Artificial Intelligence (IJCAI), 2025
- International Conference on Formal Methods in Computer-Aided Design (FMCAD), 2025
- International Conference on Formal Methods in Computer-Aided Design (FMCAD) — Student Forum, 2025
- International Conference on Integrated Formal Methods (iFM), 2024
Member of Artifact Evaluation Committee
- International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2024
- International Symposium on Formal Methods (FM), 2024
- International Symposium on Automated Technology for Verification and Analysis (ATVA), 2024
Journal Referee
- Science of Computer Programming, 2025
- Journal of Artificial Intelligence Research (JAIR), 2025
- Formal Aspects of Computing Journal, 2025
Conference (Sub-)Referee
- International Conference on Neuro-Symbolic Systems (NeuS), 2025
- International Conference on Automated Deduction (CADE), 2025
Scientific Referent for Funding Agencies
- French National Research Agency (ANR), 2025