

- 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)
- Organiser of the MOVE seminar
Research
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 postdoc at Université libre de Bruxelles): 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 MoRe, Oxford, July 2018
- 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
- Optimal Reachability in Divergent Weighted Games, Seminar of Centre Fédéré en Vérification, Brussels, May 2017
- Specification and Verification of Quantitative Properties: Expressions, Logics, and Automata, PhD Defense, Cachan, October 2013
Internships proposals
- Master 2 Internship: Parametererized Model Checking of Probabilistic Systems with Abstractions. Proposed in common with: Nathalie Bertrand and Ocan Sankur (Inria - Irisa, Rennes), as well as Pierre-Alain Reynier (LIS, Aix-Marseille Université)
- 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é.
- 2021-2022:
- Introduction à l'informatique (Licence 1, Portail René Descartes)
- Science informatique (Licence 1, Portail René Descartes)
- Cryptographie (Master 1)
- 2020-2021: CNRS delegation
- 2019-2020:
- Introduction à l'informatique (Licence 1, Portail René Descartes)
- Calculabilité et sémantique (Licence 3)
- DIU Enseigner l'informatique au lycée
- 2018-2019:
- Introduction à l'informatique (Licence 1, Portail René Descartes)
- Algorithmique 2 (Licence 3)
- Calculabilité et sémantique (Licence 3)
- Aspects probabilistes pour l'informatique (Master 1)
- Préparation à l'option Informatique du CAPES Mathématiques (ESPE Master 1)
- DIU Enseigner l'informatique au lycée
- 2017-2018:
- Préparation à l'option Informatique du CAPES Mathématiques (ESPE Master 1)
- Réseau et communications (Licence 3)
- Connaissance de la recherche en informatique (Licence 2)
- Automates et circuits (Licence 1)
- 2016-2017:
- Réseau et communications (Licence 3)
- Connaissance de la recherche en informatique (Licence 2)
- Introduction informatique et programmation (Licence 1)
- 2015-2016:
- Réseau et communications (Licence 3)
- Automates et circuits (Licence 1)
- Connaissance de la recherche en informatique (Licence 2)
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.
-