Hugo Gimbert

Hugo Gimbert is a Researcher at the LaBRI (Laboratoire Bordelais de Recherche en Informatique) within the Méthodes Formelles Team. His work bridges computational theory and practical applications, focusing on algorithmic game theory, stochastic processes, and formal methods in computer science.

Research interests include:

• Decidability problems in distributed and stochastic games
• Partial observation in multi-player systems
• Cooperation and competition in bridging scenarios
• Social choice theory implementation
• Precision farming automation
• Probabilistic logics and humanoid robot control via MDPs

Advising roles:

• PhD advisor for Soumyajit Paul, Edon Kelmendi, Quentin Rouxel, and Ludovic Hofer
• PhD co-advisor for Simon Mauras
• Former advisor for Youssouf Oualhadj

Key projects:

• Stamina - Stabilisation monoids and regular language analysis
• Marmotte - CNRS committee digitalization platform
• Rhoban System - Real-time robotics for agriculture and soccer
• Parcoursup - Algorithmic college admission system for French government