- Délégué scientifique à CNRS Sciences informatiques , depuis 9/2022.

- Directeur du LIP (Laboratoire de l'Informatique du Parallélisme), UMR5668, à l'ENS de Lyon, de 9/2017 à 12/2020.

- Directeur-adjoint du LIP de 1/2017 à 8/2017.

- Membre du comité exécutif du Labex Milyon (Mathématiques et Informatique à Lyon) de 9/2017 à 12/2020

- Responsable de l’équipe Plume – Preuves et langages – du LIP, de 9/2012 à 12/2016

International Conferences: FOSSaCS 2023; FSCD 2016 ; CSR 2013 ; TLCA 2013; IEEE LICS 2011 ; FoSSaCS 2010 ; TLCA 2009 ; CSL 2008.

International Workshops: LCC 2022 (co-chair); FOPARA 2015, LSFA 2012, LCC 2012, LI 2012, DICE 2011 (chair), DICE 2010, FOPARA 2009, LCC 2009 (co-chair), GEOCAL 2006.

Chair of the steering committee of DICE Workshop from 2010 to 2019.