- Associate Professor at Aix-Marseille Université (AMU), with the habilitation to direct research, in the Laboratoire d'Informatique et Systèmes (LIS), as a member of the team MOdelisation and VErification.
- Until August 2015, I was a Post-doc at ULB.
- See my CV (also my French CV)
- Participant of the MOVE seminar
Research
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
Publications
External lists: HAL, DBLP or Google ScholarPhD Students
Théodore Lopez: together with Jean-Marc Talbot, on transducers and cost register automata models
Julie Parreaux: together with Pierre-Alain Reynier, on weighted timed (and untimed) games with arbitrary weights, considering stochastic strategies to simulate memory in strategies
Former PhD Student
Damien Busatto-Gaston (now Maître de conférences at Université Paris-Est Créteil, LACL): together with Pierre-Alain Reynier, on weighted timed (and untimed) games with arbitrary weights, trying to solve or approximate larger classes of such games, that are undecidable in general
Software
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
- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach, invited talk at the FORMATS conference, online (Créteil), August 2021
- Logics for Weighted Automata, FSTTCS Workshop GALA, Bombay, December 2019
- Dynamics on Games: Simulation-Based Techniques and Applications to Routing, FSTTCS conference, Bombay, December 2019
- Copyless Cost Register Automata: Bounded Ambiguity vs Determinism, FSTTCS Workshop Trends in Transformations, Bombay, December 2019
- Quantitative Games on Graphs, Seminar at ENS Rennes, October 2019
- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach, Seminar of Centre Fédéré en Vérification, Brussels, May 2019
- A Journey Through Negatively-Weighted Timed Games: Undecidability, Decidability, Approximability, Workshop WATA, Leipzig, July 2018
- Quantitative Evaluation of Systems via Weighted Logics and Weighted Automata, GT SDA2, Marseille, July 2017
- Specification and Verification of Quantitative Properties: Expressions, Logics, and Automata, PhD Defense, Cachan, October 2013
Internships proposals
- Quantitative Logics for Hyperproperties and Applications to Security (in French). Proposed in common with: Jean-Marc Talbot
Teaching
I am teaching in the Computer Science and Interactions Department of Aix-Marseille Université. I am also co-responsible of the Portail Descartes.
- Introduction à l'informatique (Licence 1, Portail René Descartes)
- Mise en œuvre informatique (Licence 1, Portail René Descartes)
- Science informatique (Licence 1, Portail René Descartes)
- Découverte de la recherche (double-licence 2 Maths-Info)
- Introduction à la vérification (Licence 3)
- Automates et logique (Master 2 IMD)
Contact
- E-mail: benjamin.monmege at univ-amu.fr
-
Address: Laboratoire d'Informatique et Systèmes
Parc Scientifique de Luminy
163 avenue de Luminy - Case 901
F-13288 Marseille Cedex 9, France
Office: 05.38 (TPR2 building, fifth 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.