I am Associate Professor at Aix-Marseille Université (AMU), in the Laboratoire d'Informatique Fondamentale de Marseille (LIF), as a member of the team Modelisation and Verification. Until August 2015, I was a Post-doc at ULB, and member of the Cassting European project. See my CV (also my French CV). My main research topics are formal methods for the verification and synthesis of software, especially the quantitative aspects of formal languages and automata theory, game theory, and grammatical inference.


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. See our FoSSaCS'17 article on this subject.


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

See the complete list of talks

Old page


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

I was a teaching assistant at ENS Cachan in 2010-2013. Click for more info


  • E-mail: benjamin.monmege at
  • Address: Laboratoire d’Informatique Fondamentale
    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.