Hugo Gimbert

Hugo Gimbert
Chargé de Recherches
CNRS
Département
M2F
Équipe
Modèles & Technologies pour la Vérification
Fonction administrative
Responsable du Département M2F
Page personnelle
http://www.labri.fr/~gimbert
Adresse E-mail
hugo.gimbert[at]labri.fr
Bureau
275
Tel
+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.

Responsabilité pédagogique

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

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).

Extrait de publications

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

Valorisation

2013 - 2017 ANR STOCH(coordinateur local)

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