[PDF] Expériences professionnelles Formation Enseignement Tâches

View - Download Expériences professionnelles Formation Enseignement Tâches

Previous PDF

Next PDF

BenjaminMonmege

ULB - Campus de la Plaine

Bureau N8 207

CP212 - 1050Bruxelles- BELGIQUE+32 2 650 58 57

benjamin.monmege@ulb.ac.be http://www.ulb.ac.be/di/verif/monmege/Né le 21/09/1985

Nationalité française

Expériences professionnelles2013Post doctorant dans le groupeMétho desF ormelleset Vérification , à l"Université

Libre de Bruxelles (ULB)

.Dans le cadre du projet européenCassting , à propos deSynthèse de systèmes adaptatifs collectifs à l"aide de jeux à somme non nulle.

Formation2010-2013Doctorat en Informatiquemention Très Honorable,Laboratoire Spécification et Vérification

(LSV) École Normale Sup érieurede Cac han(ENS de Cac han) sous la direction de B enedikt

Bollig et Paul Gastin,Spécification et vérification de propriétés quantitatives : expressions,

logiques et automatesThèse soutenue le 24 octobre 2013, à Cachan. Composition du jury : Benedikt Bollig (Co-directeur), Olivier Carton (Examinateur), Manfred Droste (Rap- porteur), Paul Gastin (Co-directeur), Sylvain Lombardy (Rapporteur), Jean-Marc Tal- bot (Examinateur), Jacques Sakarovitch (Président)

2006-2010Étudiant normalien à l"ENS de Cachan

2009-2010Master 2 Informatiquemention 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-2009Agrégation de mathématiques, option informatiqueclassé 45 (sur 252)

2007-2008Master 1 Informatiquemention Très Bien,MPRIStage d"été dirigé par Rupak MajumdarUniversité de Californie

Los Angeles,Vérification de programmes multi-thread

2007-2008Master 1 Mathématiquesmention Très Bien,Université Paris VII

2006-2007Licence 3 Informatiquemention Très BienStage d"été dirigé par Johan MontagnatEquipe Rainbow de l"I3S

à Sophia Antipolis,Validation d"algorithmes de recalage non-rigide ap- pliqués aux images médicales

2006-2007Licence 3 Mathématiquesmention Bien

2003-2006Préparation aux concours d"entrée aux Grandes ÉcolesLycée Descartes à Tours (37)

2003Baccalauréat scientifique avec spécialité en mathématiquesmention Très Bien.

Enseignement2012-2013TD Aspects probabilistes de l"informatique Master 1 (18h)MPRI, ENS de Cachan

2012-2013TD/TP Apprentissage Licence 3 (48h)Département informatique, ENS de Cachan

2011-2012TD/TP Apprentissage Licence 3 (60h)Département informatique, ENS de Cachan

2010-2011Préparation à l"agrégation de mathématiques, option informatiqueDépartement in-

formatique, 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

2009-2010TP d"informatique, Classes préparatoires (64h)Lycée Henri IV à Paris

Tâches collectivesOrganisation du Groupe de travail Tempo/Mexico en 2012 et 2013 Organisation du Séminaire des doctorants du LSV de 2010 à 2013

Participation au groupeOutils 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 doctoralesMars 2013Formation : Monter des projets collaboratifs de recherche.ENS de Cachan,

France.Responsable : Guy Caverot

Décembre 2012École Modelling and Verifying Parallel processes (MOVEP)Marseille, France.

Organisateur : Pierre-Alain Reynier

Mai 2012Workshop Weighted Automata: Theory and Applications (WATA)Dresde, Allemagne.Organisateurs : Manfred Droste, Heiko Vogler Décembre 2011Apprendre à enseigner : Analyse cognitive des émotions (15h).ENS de Cachan,

France.Responsable : Alain Finkel

Septembre 2011Games Workshop 2011Paris, France.Organisateur : Dietmar Berwanger Mai 201137ème École de Printemps d"Informatique ThéoriqueCarcans-Maubuisson, France.Organisateurs : Hugo Gimbert, Igor Walukiewicz Janvier 2011Formation appliquée à l"enseignement oral en anglais (15h).ENS de Cachan,

France.Responsable : Catherine Colin

Septembre 2010Rencontres pour l"emploi des docteurs.ENS de Cachan, France. Mai 2010Workshop Weighted Automata: Theory and Applications (WATA)Leipzig, Allemagne.Organisateurs : Manfred Droste, Werner Kuich, Paul Gastin, Heiko Vogler Mars 2010École Quantitative Model CheckingCopenhague, Danemark.Organisateurs : Mem- bres du réseau européen ARTIST et MT-LAB

Relecture pour Conférences et JournauxDLT 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 Compu-

tational Logic, Theoretical Computer Science Langages informatiquesOCaml, C, C++, UPPAAL, PHP, HTML, L

ATEX2", assembleur

LanguesFrançais : langue maternelle - Anglais : écrit et parlé - Allemand : niveau intermédiaire

PublicationsArticles de revues d"audience internationale avec comité de rédaction [1] Benedikt Bollig, PaulGastin, BenjaminMonmegeet MarcZeitoun: Pebble weighted automata and weighted logics.ACM Transactions on Computational Logic. Version longue de [9], 34 pages. Accepté. [2] P aulGastinet BenjaminMonmege: 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, RupakMajumdaret BenjaminMonmege:Bounded Underappro ximations.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, PeterHabermehl, MartinLeuckeret BenjaminMonmege:A F reshApproac hto L earning

Register Automata

.InMarie-PierreBéalet OlivierCarton, éditeurs :Proceedings of the 17th International

Conference on Developments in Language Theory (DLT"13), volume 7907 deLecture Notes in Computer Science,

pages 118-130, Marne-la-Vallée, France, juin 2013. Springer. [5] Benedikt Bollig, PaulGastinet BenjaminMonmege:W eightedSp ecificationso verNeste dW ords.In

FrankPfenning, éditeur :Proceedings of the 16th International Conference on Foundations of Software Science

and Computation Structures (FoSSaCS"13), volume 7794 deLecture Notes in Computer Science, pages 385-400.

Springer, mars 2013.

[6] Benedikt Bollig, PaulGastin, BenjaminMonmegeet MarcZeitoun:A Probabilistic Kleene Theorem . InMadhavanMukundet SupratikChakraborty, é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]P aulGastinet BenjaminMonmege:A ddingP ebblesto W eightedAutomata .InNelmaMoreiraet 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, RupakMajumdaret BenjaminMonmege:Bounded Underappro ximations.InByronCook,

PaulJacksonet TayssirTouili, é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, PaulGastin, BenjaminMonmegeet MarcZeitoun:P ebblew eightedautomata and transitiv e closure logics .InSamsonAbramsky, FriedhelmMeyer auf der Heideet PaulSpirakis, é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 quan titativesdes mots et des arbres. Applications aux do cumentsXML.

Rapport de stage de master 2, MPRI, ENS de Cachan, 2010. [12] Benjamin Monmege:P arikh-equivalentb oundedlanguages for soft warev erification. Rapport de stage de master 1 à UCLA (USA), ENS de Cachan, 2008. [13]

Benjamin Monmege:V alidationd"algorithmes de rec alagenon rigide appliqués aux im agesmédicale s. Rapport

de stage de licence 3 dans l"équipe Rainbow, Polytech"Nice Sophia Antipolis (France), ENS de Cachan, 2007.

Rapports techniques

[14] Benedikt Bollig, PaulGastinet BenjaminMonmege:W eightedSp ecificationso verNested W ords. 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, PaulGastin, BenjaminMonmegeet MarcZeitoun:W eightedEx pressionsa ndDFS T ree

Automata

. Rapport de recherche LSV-11-08, LSV, ENS de Cachan, 2011. 32 pages. [16] Benedikt Bollig, PaulGastin, BenjaminMonmegeet MarcZeitoun:P ebblew eighteda utomataand transitive closure logics . Rapport de recherche LSV-10-06, LSV, ENS de Cachan, 2010. 21 pages, version longue de [ 9 [17] Pierre Ganty, RupakMajumdaret BenjaminMonmege:Bounded Underappro ximations. 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 Group ede Rec hercheInformatique et Mathématiques (P aris):

Sp écificationet v érification

de propriétés quantitatives , janvier 2014. [19] W orkshopQuan titativeMo dels:Express iveness,Analysis and New Applications (Dagstuhl) :

W eightedHybrid

Logics

, janvier 2014. [20] Séminaire LIF M odélisationet Vérification (Marseil le): Sp ecificationand V erificationof Quan titativeProp erties:

Logics, Automata, Expressions

, décembre 2013. [21] Séminaire LaBRI Graphes et Logique (Bo rdeaux): Sp ecificationof Quan titativeProp erties:Logics, Automata,

Expressions

, juillet 2013. [22]

Group ede tra vailLSV T empo-Mexico(Cac han):

F reshRegister Automata

, juin 2013. [23] Séminaire LIAF AAutomates et Applications (P aris):

W eightedSp ecificationso verNested W ords

, mars 2013. [24]

Séminaire MoV eS(Aix la Chap elle):

W eightedand Probabilistic Sp ecifications:Efficien tComputations with

Pebbles

, janvier 2013. [25] École d"hiv erMO VEPMo dellinget V erifyingP arallelpro cesses(Marseille) :

A Probabilistic Kleene Theorem

décembre 2012. [26]

Séminaire des do ctorantsLSV (Cac han):

Statistical Mac hineLearning

, novembre 2012. [27]

Séminaire ISP (Lüb eck):

Efficien tComputations with P ebbles

, juillet 2012.

[28]W orkshopW ATAW eightedAutomata: Theory and Applications (Dresde ): A Probabilis ticKleene Theorem ,

mai 2012. [29]

Séminaire des do ctorantsLSV (Cac han):

Analytic C ombinatorics

, mars 2012. [30] Séminaire Mo délisationet Vérification LaBRI (Bordeaux) :

W eightedExpress ionsand P ebbleAutomata o ver

Nested Words and Trees

, octobre 2011. [31]

Réunion pro jetQuasimo do(Sarrebruc k):

W eightedDepth-First-Searc hAutomata

, février 2011. [32] W orkshopW ATAW eightedAutomata: Theory and Applications (Le ipzig):

P ebbleW eightedAutomata and

Transitive Closure Logics

, mai 2010.quotesdbs_dbs33.pdfusesText_39

[PDF] un atout pour votre entreprise

[PDF] FLASH INFO DU 2 OCTOBRE 2007

[PDF] L accès à l emploi & l âge : LES SENIORS Regards croisés des seniors et des recruteurs (en cabinet et en entreprise)

[PDF] Centre Droite Vaudois Une vision de société pour 2012 2017 6 priorités 51 idées - forces

[PDF] CONDITIONS GÉNÉRALES DE VENTE de C&A Mode GmbH & Co. KG ET INFORMATION POUR LES CLIENTS

[PDF] Assurance-vie de base SunSpectrum Assurance sur deux têtes payable au premier décès

[PDF] Consumer Insight. x 3,6. Prospective. Gartner : D ici 2011, les communautés web influenceront 1/3 des achats sur Internet et hors Internet, 9% en 2008

[PDF] Hébergement d urgence Comment agir sur le long terme? A Lausanne. Service social Lausanne (SSL)

[PDF] SOSUCAM Offre d emploi Responsable RSE

[PDF] Graphiques 1 Répartition par type d instrument des placements financiers des ménages français

[PDF] LES BESOINS EN RECRUTEMENT DES ENTREPRISES DE LA MÉTALLURGIE DANS LES PAYS DE LA LOIRE ANALYSE DES RÉSULTATS DE L ENQUÊTE BMO DE PÔLE EMPLOI

[PDF] CONSEIL DE L EUROPE INFORMATIONS PRATIQUES POUR DES RÉUNIONS À STRASBOURG

[PDF] PARIS 75008 COMMUNIQUE FINANCIER RESULTATS SEMESTRIELS AU 31 DECEMBRE 2014

[PDF] MASTER REGLEMENT DES ETUDES ANNEE UNIVERSITAIRE :

[PDF] Propreté : Égalité professionnelle entre les femmes et les hommes