Expériences professionnelles Formation Enseignement Tâches

Benjamin Monmege
ULB - Campus de la Plaine
Bureau N8 207
CP212 - 1050 Bruxelles - BELGIQUE
Né le 21/09/1985
Nationalité française
+32 2 650 58 57
[email protected]
http://www.ulb.ac.be/di/verif/monmege/
Expériences professionnelles
2013
Post doctorant dans le groupe Méthodes Formelles et Vérification, à l’Université
Libre de Bruxelles (ULB). Dans le cadre du projet européen Cassting, à propos de Synthèse
de systèmes adaptatifs collectifs à l’aide de jeux à somme non nulle.
Formation
2010-2013
Doctorat en Informatique mention Très Honorable, Laboratoire Spécification et Vérification
(LSV), École Normale Supérieure de Cachan (ENS de Cachan) sous la direction de Benedikt
Bollig et Paul Gastin, Spécification et vérification de propriétés quantitatives : expressions,
logiques et automates
Thèse soutenue le 24 octobre 2013, à Cachan. Composition du jury :
Benedikt Bollig (Co-directeur), Olivier Carton (Examinateur), Manfred Droste (Rapporteur), Paul Gastin (Co-directeur), Sylvain Lombardy (Rapporteur), Jean-Marc Talbot (Examinateur), Jacques Sakarovitch (Président)
2006-2010
Étudiant normalien à l’ENS de Cachan
2009-2010 Master 2 Informatique mention Très Bien, Master Parisien de Recherche en
Informatique (MPRI)
Stage dirigé par Benedikt Bollig, Paul Gastin et Marc Zeitoun
LSV, ENS de Cachan, Propriétés quantitatives des arbres et applications
aux langages de requêtes XML
2008-2009
2007-2008
2007-2008
2006-2007
2006-2007
Agrégation de mathématiques, option informatique classé 45 (sur 252)
Master 1 Informatique mention Très Bien, MPRI
Stage d’été dirigé par Rupak Majumdar Université de Californie
Los Angeles, Vérification de programmes multi-thread
Master 1 Mathématiques mention Très Bien, Université Paris VII
Licence 3 Informatique mention Très Bien
Stage d’été dirigé par Johan Montagnat Equipe Rainbow de l’I3S
à Sophia Antipolis, Validation d’algorithmes de recalage non-rigide appliqués aux images médicales
Licence 3 Mathématiques mention Bien
2003-2006
Préparation aux concours d’entrée aux Grandes Écoles Lycée Descartes à Tours (37)
2003
Baccalauréat scientifique avec spécialité en mathématiques mention Très Bien.
Enseignement
2012-2013
2012-2013
2011-2012
2010-2011
2009-2010
TD Aspects probabilistes de l’informatique Master 1 (18h) MPRI, ENS de Cachan
TD/TP Apprentissage Licence 3 (48h) Département informatique, ENS de Cachan
TD/TP Apprentissage Licence 3 (60h) Département informatique, ENS de Cachan
Préparation à l’agrégation de mathématiques, option informatique Département informatique, ENS de Cachan
Cours (8h) et TD (8h) Algorithmique
Cours (8h) et TD (8h) Langages formels
TP de programmation en C, Licence 3 (20h) Département EEA, ENS de Cachan
TP d’informatique, Classes préparatoires (64h) Lycée Henri IV à Paris
Tâches collectives
Organisation du Groupe de travail Tempo/Mexico en 2012 et 2013
Organisation du Séminaire des doctorants du LSV de 2010 à 2013
Participation au groupe Outils Informatiques internes du LSV : développement d’une base de données et d’interface
web associée pour les ressources bibliographiques du laboratoire
Représentant des doctorants du LSV première année en 2010/2011.
Activités doctorales
Mars 2013
Décembre 2012
Mai 2012
Décembre 2011
Septembre 2011
Mai 2011
Janvier 2011
Septembre 2010
Mai 2010
Mars 2010
Formation : Monter des projets collaboratifs de recherche. ENS de Cachan,
France. Responsable : Guy Caverot
École Modelling and Verifying Parallel processes (MOVEP) Marseille, France.
Organisateur : Pierre-Alain Reynier
Workshop Weighted Automata: Theory and Applications (WATA) Dresde,
Allemagne. Organisateurs : Manfred Droste, Heiko Vogler
Apprendre à enseigner : Analyse cognitive des émotions (15h). ENS de Cachan,
France. Responsable : Alain Finkel
Games Workshop 2011 Paris, France. Organisateur : Dietmar Berwanger
37ème École de Printemps d’Informatique Théorique Carcans-Maubuisson,
France. Organisateurs : Hugo Gimbert, Igor Walukiewicz
Formation appliquée à l’enseignement oral en anglais (15h). ENS de Cachan,
France. Responsable : Catherine Colin
Rencontres pour l’emploi des docteurs. ENS de Cachan, France.
Workshop Weighted Automata: Theory and Applications (WATA) Leipzig,
Allemagne. Organisateurs : Manfred Droste, Werner Kuich, Paul Gastin, Heiko Vogler
École Quantitative Model Checking Copenhague, Danemark. Organisateurs : Membres du réseau européen ARTIST et MT-LAB
Relecture pour Conférences et Journaux
DLT 2011, LATA 2011, CONCUR 2012, LATA 2012, ICALP 2012, CIAA 2012, RV 2012, FSTTCS 2012, STACS
2014, LATA 2014, CAV 2014, ICALP 2014
Journal of Logic and Algebraic Programming, Formal Methods in System Design, ACM Transactions on Computational Logic, Theoretical Computer Science
Langages informatiques
OCaml, C, C++, UPPAAL, PHP, HTML, LATEX 2ε , assembleur
Langues
Français : langue maternelle
–
Anglais : écrit et parlé
–
Allemand : niveau intermédiaire
Publications
Articles de revues d’audience internationale avec comité de rédaction
[1] Benedikt Bollig, Paul Gastin, Benjamin Monmege et Marc Zeitoun : Pebble weighted automata and weighted
logics. ACM Transactions on Computational Logic. Version longue de [9], 34 pages. Accepté.
[2] Paul Gastin et Benjamin Monmege : Adding pebbles to weighted automata easy specification & efficient
evaluation. Theoretical Computer Science, Special Issue WATA 2012. Version longue de [7], 35 pages. Accepté.
[3] Pierre Ganty, Rupak Majumdar et Benjamin Monmege : Bounded Underapproximations. Formal Methods in
System Design, 40(2):206–231, 2012. Version longue de [8].
Conférences d’audience internationale avec comité de sélection
[4] Benedikt Bollig, Peter Habermehl, Martin Leucker et Benjamin Monmege : A Fresh Approach to Learning
Register Automata. In Marie-Pierre Béal et Olivier Carton, éditeurs : Proceedings of the 17th International
Conference on Developments in Language Theory (DLT’13), volume 7907 de Lecture Notes in Computer Science,
pages 118–130, Marne-la-Vallée, France, juin 2013. Springer.
[5] Benedikt Bollig, Paul Gastin et Benjamin Monmege : Weighted Specifications over Nested Words. In
Frank Pfenning, éditeur : Proceedings of the 16th International Conference on Foundations of Software Science
and Computation Structures (FoSSaCS’13), volume 7794 de Lecture Notes in Computer Science, pages 385–400.
Springer, mars 2013.
[6] Benedikt Bollig, Paul Gastin, Benjamin Monmege et Marc Zeitoun : A Probabilistic Kleene Theorem.
In Madhavan Mukund et Supratik Chakraborty, éditeurs : Proceedings of the 10th International Symposium
on Automated Technology for Verification and Analysis (ATVA’12), Lecture Notes in Computer Science, pages
400–415, Thiruvananthapuram, Inde, octobre 2012. Springer.
[7] Paul Gastin et Benjamin Monmege : Adding Pebbles to Weighted Automata. In Nelma Moreira et Rogério
Reis, éditeurs : Proceedings of the 17th International Conference on Implementation and Application of Automata
(CIAA’12), Lecture Notes in Computer Science, pages 28–51, Porto, Portugal, juillet 2012. Springer.
[8] Pierre Ganty, Rupak Majumdar et Benjamin Monmege : Bounded Underapproximations. In Byron Cook,
Paul Jackson et Tayssir Touili, éditeurs : Proceedings of the 22nd International Conference on Computer Aided
Verification (CAV’10), Lecture Notes in Computer Science, Edimbourg, Royaume-Uni, juillet 2010. Springer.
[9] Benedikt Bollig, Paul Gastin, Benjamin Monmege et Marc Zeitoun : Pebble weighted automata and transitive
closure logics. In Samson Abramsky, Friedhelm Meyer auf der Heide et Paul Spirakis, éditeurs : Proceedings
of the 37th International Colloquium on Automata, Languages and Programming (ICALP’10), Lecture Notes in
Computer Science, pages 587–598, Bordeaux, France, juillet 2010. Springer.
Thèse
[10] Benjamin Monmege : Spécification et vérification de propriétés quantitatives : expressions, logiques et automates.
Thèse de doctorat, ENS de Cachan, 2013.
Rapports de stages
[11] Benjamin Monmege : Propriétés quantitatives des mots et des arbres. Applications aux documents XML.
Rapport de stage de master 2, MPRI, ENS de Cachan, 2010.
[12] Benjamin Monmege : Parikh-equivalent bounded languages for software verification. Rapport de stage de
master 1 à UCLA (USA), ENS de Cachan, 2008.
[13] Benjamin Monmege : Validation d’algorithmes de recalage non rigide appliqués aux images médicales. Rapport
de stage de licence 3 dans l’équipe Rainbow, Polytech’Nice Sophia Antipolis (France), ENS de Cachan, 2007.
Rapports techniques
[14] Benedikt Bollig, Paul Gastin et Benjamin Monmege : Weighted Specifications over Nested Words. Rapport
de recherche LSV-13-04, Laboratoire Spécification et Vérification, ENS Cachan, France, mars 2013. 21 pages,
version longue de [5].
[15] Benedikt Bollig, Paul Gastin, Benjamin Monmege et Marc Zeitoun : Weighted Expressions and DFS Tree
Automata. Rapport de recherche LSV-11-08, LSV, ENS de Cachan, 2011. 32 pages.
[16] Benedikt Bollig, Paul Gastin, Benjamin Monmege et Marc Zeitoun : Pebble weighted automata and
transitive closure logics. Rapport de recherche LSV-10-06, LSV, ENS de Cachan, 2010. 21 pages, version longue
de [9].
[17] Pierre Ganty, Rupak Majumdar et Benjamin Monmege : Bounded Underapproximations. Rapport technique,
UCLA, IMDEA, ENS de Cachan, 2010. 30 pages, version longue de [8].
Sélection d’exposés récemment donnés outre les exposés en conférence susmentionnés
[18] Journées Nationales du Groupe de Recherche Informatique et Mathématiques (Paris) : Spécification et vérification
de propriétés quantitatives, janvier 2014.
[19] Workshop Quantitative Models: Expressiveness, Analysis and New Applications (Dagstuhl) : Weighted Hybrid
Logics, janvier 2014.
[20] Séminaire LIF Modélisation et Vérification (Marseille) : Specification and Verification of Quantitative Properties:
Logics, Automata, Expressions, décembre 2013.
[21] Séminaire LaBRI Graphes et Logique (Bordeaux) : Specification of Quantitative Properties: Logics, Automata,
Expressions, juillet 2013.
[22] Groupe de travail LSV Tempo-Mexico (Cachan) : Fresh Register Automata, juin 2013.
[23] Séminaire LIAFA Automates et Applications (Paris) : Weighted Specifications over Nested Words, mars 2013.
[24] Séminaire MoVeS (Aix la Chapelle) : Weighted and Probabilistic Specifications: Efficient Computations with
Pebbles, janvier 2013.
[25] École d’hiver MOVEP Modelling et Verifying Parallel processes (Marseille) : A Probabilistic Kleene Theorem,
décembre 2012.
[26] Séminaire des doctorants LSV (Cachan) : Statistical Machine Learning, novembre 2012.
[27] Séminaire ISP (Lübeck) : Efficient Computations with Pebbles, juillet 2012.
[28] Workshop WATA Weighted Automata: Theory and Applications (Dresde) : A Probabilistic Kleene Theorem,
mai 2012.
[29] Séminaire des doctorants LSV (Cachan) : Analytic Combinatorics, mars 2012.
[30] Séminaire Modélisation et Vérification LaBRI (Bordeaux) : Weighted Expressions and Pebble Automata over
Nested Words and Trees, octobre 2011.
[31] Réunion projet Quasimodo (Sarrebruck) : Weighted Depth-First-Search Automata, février 2011.
[32] Workshop WATA Weighted Automata: Theory and Applications (Leipzig) : Pebble Weighted Automata and
Transitive Closure Logics, mai 2010.