Research topics: formal methods for the verification and synthesis of software, especially the quantitative aspects of formal languages and automata theory, game theory, and grammatical inference


  • I am PC member of STACS 2020 that will take place in Montpellier, in March 2020.
  • I organise the workshop WATA 2020 that will take place in Marseille, in April 2020.


External lists: HAL, DBLP or Google Scholar

PhD Student

Damien Busatto-Gaston: together with Pierre-Alain Reynier, we are working on weighted timed (and untimed) games with arbitrary weights, trying to solve or approximate larger classes of such games, that are undecidable in general.

Théodore Lopez: together with Jean-Marc Talbot, we are working on transducers and cost register automata models.


Contributor of MightyL: A tool to convert formulas written in the MITL logic into a set of timed automata, whose synchronous product accepts the language of the formula

Author of QuantiS: A tool for verifying quantitative specifications

Author of a prototype tool to solve total-payoff games with or without reachability objectives

Recent Talks

Internships proposals


I am teaching in the Computer Science and Interactions Department of Aix-Marseille Université.


  • E-mail: benjamin.monmege at
  • Address: Laboratoire d'Informatique et Systèmes
    Parc Scientifique de Luminy
    163 avenue de Luminy - Case 901
    F-13288 Marseille Cedex 9, France
    Office: A208 (BU library building, first floor)
    Phone: +33 (0)4 91 82 93 70
    Fax: +33 (0)4 91 82 92 75
  • You can download my public GPG key here.