Hugo GIMBERT
Hugo Gimbert Chargé de Recherches (CNRS)

Équipe LaBRI : Méthodes formelles
Fonction administrative : Responsable adjoint de l'Equipe Méthodes Formelles
Page personnelle : http://www.labri.fr/~gimbert
Courrier électronique : hugo.gimbertarobaselabri.fr
Bureau : 275
Tél : +33 (0)5 40 00 84 28


Recherche

Most of my research activities concern the algorithmic side of game theory and its applications in computer science. At the moment, I am particularly interested in stochastic games with partial observation[13,14].

I have proved several results about the existence of pure and stationary optimal strategies in zero-sum stochastic games with perfect information [2,3,6,7].
I have also worked on the approximability of parity games by multi-discounted games and existence of Blackwell optimal strategies in these games [4,5,7,8,9,11]. Beside their theoretical interests, these results have applications in controller synthesis for discrete event systems and verification of programs.

A few years ago, I used to be interested in games played on transition graphs of pushdown automata, and I designed algorithms for solving parity and exploration games on this kind of graphs [1]. These results provide new tools for the Model-Checking of programs with recursive calls.

Encadrement

Edon Kelmendi, 2015, doctorant sur bourse LaBEX, Université Bordeaux 1, co-encadrement avec François Dufour.

Oualhadj, Youssouf, 3 ans, 2012, doctorant MENRT, Université Bordeaux 1, co-encadrement avec Anca Muscholl, Professeur à Bordeaux 1. Actuellement post-doctorant à l'Université Libre de Belgique.

Extrait de publications













Responsabilité pédagogique

Enseignement en M2 et M1 à Bordeaux 1 et à l'IPB.

Administration

Secrétaire scientifique de la section 6 du Comité national (depuis 2012)

Membre élu du conseil scientifique du LaBRI (depuis 2013)

Représentant du LaBRI au CA du cluster TOPOS

Comité de programme & Comité d'organisation

2013, comité de programme de FSTTCS.

2011 et 2012, comité de programme de YR-CONCUR.

2009, comité de programme de CSL'09.

2008, organisation des journées "Jeux, Complexité et Modèles Finis" du GdR "Informatique et
Mathématiques".

2007, second prix de thèse "Gilles Kahn" (SPECIF).

Diffusion

2010, coordination des animations scientifiques pour la fête de la science.

2009, atelier à la fête de la science à Cap Sciences Bordeaux.

Valorisation

2013 - 2017 ANR STOCH(coordinateur local)

2010 - 2012 PEPS "Jeux stochastiques" (coordinateur national)


Page mise à jour le 13/08/2010 à 10:56