Agrégé de mathématiques, Il devient professeur des universités à l’ENS Paris-Saclay en 1994 et y dirige le département informatique de 1995 jusqu’en 2001. Jusqu’en 2004, il est directeur adjoint à la direction de la recherche du ministère chargé de la Recherche en charge du secteur mathématiques et sciences et technologies de l’information et de la communication, puis revient au CNRS, à la tête du département STIC (sciences et technologies de l’information et de la communication), de 2004 à 2006. Il rejoint l’INRIA en 2006 comme directeur du centre de recherche de Paris-Rocquencourt. Il en devient président-directeur général en septembre 2014. Il a été nommé président du CNRS le 24 janvier 2018.