Avec Serge Abiteboul, directeur de recherches à l'INRIA, chercheur à l'ENS à Paris et membre du collège de l'ARCEP, Gilles Dowek, chercheur à l'INRIA. Il est également rattaché au Laboratoire Méthodes Formelles de L'Ecole normale supérieure Paris-Saclay et Laurence Devillers, professeure à l'Université Paris Sorbonne et chercheuse au Laboratoire d'informatique pour la mécanique et les sciences de l'ingénieur (Limsi) du CNRS