Prix de thèse SPECIF 2005

Olivier Serre vient de recevoir l'accessit du prix de thèse SPECIF pour sa thèse "Contribution à l'étude des jeux sur des graphes de processus à pile" (Université Paris 7, 30 Novembre 2004) au LIAFA (Laboratoire d'Informatique Algorithmique: Fondements et Applications).

Voir http://www.specif.org/prix-these/ et
http://www.specif.org/prix-these/historique.html

Agé de 27 ans, Olivier Serre est ancien élève de l'Ecole normale supérieure de Cachan. Après une formation en mathématiques, il prépare un DEA d'algorithmique puis une thèse au Laboratoire d'Informatique Algorithmique, Fondements et Applications (LIAFA, université Paris 7 & CNRS) sous la co-direction d'Anca Muscholl et de Jean-Eric Pin. En 2005, après un séjour post-doctoral à l'université d'Aachen (Allemagne), il a été recruté comme chargé de recherche au CNRS et affecté au LIAFA.

Olivier Serre s'intéresse à des problèmes relevant de la théorie des automates et de la vérification et plus particulièrement aux jeux. Ce sujet, fortement pluridisciplinaire (économie, logique mathématique, combinatoire et informatique fondamentale), connaît depuis plusieurs années un vif intérêt au sein de la communauté informatique, comme en témoigne le projet européen GAMES dans lequel le LIAFA est partie prenante. Outre les liens profonds qui les unissent avec des problèmes théoriques fondamentaux, les jeux sont d'une profonde utilité pour la vérification de programme. En effet, ce formalisme permet à la fois de s'assurer qu'un programme informatique évoluant dans un environnement hostile fonctionne comme souhaité et, lorsque ce n'est pas le cas, de synthétiser un contrôleur permettant de restreindre le programme pour assurer la propriété demandée.

Les travaux actuels d'Olivier portent sur les jeux sur des graphes infinis, qui permettent de vérifier la validité de programmes naturels et complexes même lorsque les propriété à tester sont elles même compliquées, capturant ainsi la véritable nature du système considéré. Auparavant Olivier avait travaillé sur des problèmes motivés par la recherche de gènes dans des séquences d'ADN. Plus récemment, en collaboration avec des chercheurs d'Aachen, son intérêt s'est également porté sur des problèmes issus de la théorie des langages formels ou des logiques dynamiques.