Hugo Gimbert
- Chargé de Recherches
- CNRS
- Fonction administrative
- Responsable du Département M2F
- Page personnelle
- http://www.labri.fr/~gimbert
- Adresse E-mail
- hugo.gimbert
![[at]](/modules/custom/mail_obfuscate/images/@.png)
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
- Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz. Distributed controller synthesis for deadlock avoidance. 2024.
- Nathanaël Fijalkow (Dir.). Games on Graphs. pp.1-491, In press,
- Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz. Distributed controller synthesis for deadlock avoidance. International Colloquium on Automata, Languages and Programming (ICALP), 2022, Paris, France.
- Hugo Gimbert. Distributed Asynchronous Games With Causal Memory are Undecidable. Logical Methods in Computer Science, 2022, 18 (3).
- Pierre Castéran, Hugo Gimbert, Claire Mathieu, Gérald Point. Vérification de l'algorithme de calcul des ordres d'appel dans Parcoursup. AFADL, https://afadl2022.ls2n.fr, Jun 2022, VANNES, France.
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)