معرفی
Benjamin Monmege is an Associate Professor at Aix-Marseille Université (AMU), holding the habilitation to direct research. He is affiliated with the Laboratoire d'Informatique et Systèmes (LIS) and part of the MOdelisation and VErification research team. His work focuses on formal methods for software verification and synthesis, with special emphasis on quantitative aspects of formal languages, automata theory, game theory, and grammatical inference.
He contributed to tools like MightyL (for MITL logic translation) and QuantiS (for quantitative specifications verification). Recent research includes robust controller synthesis in timed automata, dynamics on routing games, and decidability in weighted timed games. He has advised three PhD students: Damien Busatto-Gaston, Théodore Lopez, and Julie Parreaux.
Monmege teaches in AMU's Computer Science and Interactions Department, co-responsibilizing the Portail Descartes. Courses include 'Logique' (BSc), 'Automates' (MSc), and foundational computer science modules. His international collaborations include postdoctoral work at ULB (2015) and participation in MOVE seminars.
His research has been published in venues like Logical Methods in Computer Science, FSTTCS, and CONCUR, with notable work on algorithmic game theory, real-time systems, and formal verification techniques.
