Expert evaluator in 2017, 2018 and 2019: HCERES, the High Council for Evaluation of Research and Higher Education, France
2020: Vice-President of the Sci. Evaluation Committee CES25 for ANR, National Research Agency, France
2021: PC member of the FACS 2021, 17th Int. Conf. on Formal Aspects of Component Software, Grenoble, France
