Reviewing
- Program committee (conferences): JFLA'25, PPDP'24, JFLA'24, POPL'23, OOPSLA'23, ICFP'22, CPP'21, JFLA'21
- Program committee (workshops): CoqWS'24, GALOP'24, CoqPL'24,
- External reviewer: CPP'20, TACAS'16, JFLA'15, LMCS'14
- Artifact evaluation: ICFP'24, OOPSLA'23, ICFP'22
- Web chair: POPL'25
Others
- Représentant du personnel à la Formation Spécialisée de Site (FSS) du centre Inria de Lyon
Ancient times
- I co-organized in 2016 the first edition of the French national seminary for PhD students in computer
science.
- Student volunteer at the European Conference on Object-Oriented
Programming 2015 (ECOOP'15) in Prague