Researcher, LaBRI CS Lab, Bordeaux University.
Member of the Formal Methods team at LaBRI.

Professor of Computer Science, Bordeaux University.

+33 (0)5 4000 6094.
Office A30, 202.
LaBRI, Université Bordeaux,
351 cours de la Libération,
F-33405 Talence Cedex.


Main interests

  • Logics, automata, expressiveness problems, finite models.
  • Formal languages, links with algebra and topology.
  • Algorithms for finite automata.
  • Quantitative automata and games.
  • Automatic verification, software model checking.
  • Distributed and infinite systems.


  • All publications
  • Only Journal articles
  • Only Conference proceedings


Supports d'enseignement 2017–18

         Autres supports sur

Sites et textes sur l'enseignement de l'informatique