Benjamin Monmege

Benjamin Monmege is an Associate Professor at Aix-Marseille Université, affiliated with the Laboratoire d'Informatique et Systèmes (LIS) and the MOdelisation and VErification team. He previously held a Post-doc position at Université libre de Bruxelles (ULB) until August 2015.

His research focuses on formal methods for software verification, synthesis, and quantitative analysis using automata theory, game theory, and grammatical inference. He has developed tools like MightyL for MITL-to-timed-automata conversion and QuantiS for quantitative specification verification.

Monmege has mentored PhD students including Julie Parreaux (Université Paris-Est Créteil), Théodore Lopez (Université Rennes), and Julie Parreaux. His recent work includes algorithmic advancements in weighted timed games, stochastic strategy emulation, and robust controller synthesis.