Hugo Bazille

Hugo Bazille is an Associate Professor (Enseignant Chercheur) at EPITA in Rennes, France, where he belongs to the Automata and Applications research group. His academic career includes prior positions as an Attaché Temporaire d'Enseignement et de Recherche (similar to Assistant Lecturer) at Université Rennes 1 (2019-2020) and PhD studies at Inria Rennes (2016-2019) under the supervision of Eric Fabre and Blaise Genest.

His research focuses on formal methods and model checking techniques, with particular emphasis on stochastic systems and Higher Dimensional Automata (HDA). His current work investigates the properties of languages of HDA, contributing to theoretical foundations in concurrency theory and verification.

At EPITA, Bazille teaches several computer science courses including CPXA (algorithm complexity), PFON (functional programming), LOFO (formal logic), THEG (graph theory), APPROX (approximation algorithms), and ALGO (algorithms for preparatory cycle). His publications can be found through his Google Scholar profile.

Bazille maintains active engagement in both teaching and research within theoretical computer science, bridging formal methods with practical applications in system verification.