Professor at ENS Paris-Saclay, University Paris-Saclay and member of LMF. PhD from University of Grenoble under the supervision of Hubert Garavel at Verimag and INRIA. Previously member of IRIF and University of Paris-Cité.