© Christian MOREL / IRIF / CNRS Photothèque

Olivier SerreDirecteur adjoint scientifique Section 06

Olivier Serre est actuellement directeur de recherche CNRS et exerce ses activités de recherche à l’Institut de Recherche en Informatique Fondamentale (IRIF - CNRS/Université de Paris).

Ancien élève de l’ENS Cachan (1999-2003), Olivier Serre a obtenu un doctorat en informatique à l’université Paris-Diderot en 2004. Après un séjour post-doctoral au RWTH Aachen, il a rejoint le LIAFA comme chargé de recherche en 2005 et est directeur de recherche depuis 2016.

Ses activités de recherche concernent la théorie des automates et les langages formels, les jeux et la logique, les structures infinies, la réécriture et la vérification de programmes fonctionnels d’ordre supérieur.