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]](/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
- 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.
- Stephane Victor, Pierre Melchior, Lukasz Mizgalski, Hugo Gimbert, Steve Nguyen. Modeling and Control of an Autonomous Tractor. Workshop Réseau Régional de Recherche en Robotique, Oct 2021, Bidart, 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)