Directeur de recherche Inria, responsable de l'équipe TREC commune avec l'École Normale Supérieure de Paris. Membre de l'Académie des sciences.