Accueil du site > Vie de la recherche > Actualités institutionnelles




Recherchez sur ce site


Olivier Serre, nouveau chargé de mission "Informatique théorique et algorithmes"

Olivier Serre vient de rejoindre l’INS2I en tant que chargé de mission sur les thématiques "Informatique théorique et algorithmes".

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é Paris-Diderot).

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. Depuis janvier 2018, il est également directeur adjoint de la Fondation Sciences Mathématiques de Paris.

Voir l’organigramme de l’INS2I