Hugo Bazille

Hugo Bazille
  • Site: Rennes
  • Group: automata and applications
Contact information
Email hugo1.[lastname]at epita dot fr
Office [“Enseignants Chercheurs”, First floor, Rennes]

Short Bio

I am an “Enseignant Chercheur” (Associate Professor) at EPITA, Rennes, in the the Automata and Applications group.

Before joining Epita in September 20:

  • Sep 19-Aug 20: Attaché Temporaire Enseignement et Recherche (~Assistant lecturer) at Univ Rennes 1
  • Sep 16-Aug 19: PhD student at Inria Rennes, supervised by Eric Fabre and Blaise Genest


My research interests include formal methods and model checking techniques with a particular focus on:

  • Stochastic systems
  • Higher Dimensional Automata

In particular, my current work is focused on the properties of languages of HDA.


For a full list of publications, you can check:


At Epita, I give the following lectures.

  • CPXA (complexité des algorithmes)
  • PFON (programmation fonctionnelle)
  • LOFO (logique formelle)
  • THEG (théorie des graphes)
  • APPROX (électif algorithmes d’approximation)
  • ALGO (cours d’algorithmiques dans le cycle préparatoire)