Olivier SerreDirecteur adjoint de CNRS Sciences informatiques

Olivier Serre est directeur de recherche CNRS à l’Institut de recherche en informatique fondamentale (IRIF - CNRS/Université Paris Cité). Il est directeur adjoint de CNRS Sciences informatiques et travaille étroitement avec la directrice et l’équipe scientifique de l’institut sur des sujets transverses. Il est membre de missions transverses (développement durable, médiation scientifique et parité-égalité) et assure le suivi de trois unités. En charge du suivi de l’informatique quantique, il co-pilote le programme de recherche (PEPR) Technologies quantiques.

De 2018 à 2021, Olivier Serre a été directeur adjoint de la Fondation sciences mathématiques de Paris (FSMP). Il a rejoint CNRS Sciences informatiques en 2018 en tant que délégué scientifique puis directeur adjoint scientifique.

Ses recherches se situent dans le domaine de l’informatique fondamentale. Il a mené des travaux dans différents sous-domaines : théorie des automates et langages formels, jeux et logique, algorithmique et étude des structures infinies, réécriture, vérification de programmes fonctionnels d’ordre supérieur.