Olivier SerreDirecteur adjoint scientifique Section 6

Olivier Serre est actuellement directeur de recherche CNRS et exerce ses activités à 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 (désormais Université de Paris) en 2004. Après un séjour post-doctoral au RWTH Aachen, il a rejoint le LIAFA (devenu IRIF) 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.