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

Professor of Computer Science, Bordeaux University.

📧
📱

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

Research

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.

Publications

  • All publications
  • Only Journal articles
  • Only Conference proceedings

Enseignement

Supports d'enseignement 2016–17

Sites et textes sur l'enseignement de l'informatique