Méthodes et Modèles Formels

Responsables de département : Hugo Gimbert and Antoine Rollet

Les thèmes de recherche du département incluent les fondements des méthodes formelles (automates, logiques, vérification), la transformation des données en modèles formels (synthèse par apprentissage et méthodes symboliques), et les applications, notamment dans les domaines de la robotique, des neurosciences computationelles et des systèmes de transports intelligents.

Illustration des activités M2F

 

Le département M2F se structure autour de cinq équipes: LX / MTV / RATIO / DART et SYNTHESE. Au sein de chaque équipe, l'activité scientifique se concentre sur plusieurs thèmes de recherche:

Séminaires et groupes de travail

Le séminaire du département M2F a lieu à un rythme bi-mensuel, et  chaque équipe possède un ou plusieurs groupes de travail. Un agenda recense tous les événements associés. Vous pouvez synchroniser votre propre agenda en utilisant ce lien ical.

Annuaire liste
ID Nom Courriel Téléphone Bureau Statut Équipe Fonction
Carrere_ID1084917644 Carrere Frederique frederique.carrere[at]labri.fr +33 (0)5 40 00 84 25 309 MdC MTV Coordinatrice mobilité Internationale de l'UF Info
Casteran_ID1084917646 Casteran Pierre pierre.casteran[at]labri.fr +33 (0)5 40 00 35 26 312 MdC MTV Emérite
Courcelle_ID1084917660 Courcelle Bruno bruno.courcelle[at]labri.fr +33 (0)5 40 00 60 86 117 Pr LX Emérite
Durand_ID1084917682 Durand Irène irene.durand[at]labri.fr +33 (0)5 40 00 69 14 204 MdC LX
Felix_ID1084917689 Felix Patrick patrick.felix[at]labri.fr +33 (0)5 40 00 69 15 262 MdC MTV Directeur Dépt Info - IUT Bordeaux
Griffault_ID1084917706 Griffault Alain alain.griffault[at]labri.fr +33 (0)5 40 00 69 15 262 MdC MTV Directeur de l'Unité de Formation Informatique
Herbreteau_ID1084917717 Herbreteau Frederic frederic.herbreteau[at]labri.fr +33 (0)5 40 00 33 36 263 MdC MTV Responsable de l'équipe MTV (Dpt M2F)
Janin_ID1084917719 Janin David david.janin[at]labri.fr +33 (0)5 40 00 69 16 206 MdC LX
Lapoire_ID1084917727 Lapoire Denis denis.lapoire[at]labri.fr +33 (0)5 40 00 69 16 206 MdC DART
Ly_ID1084917742 Ly Olivier olivier.ly[at]labri.fr +33 (0)5 40 00 84 28 275 Pr DART Responsable Equipe DART (Dpt M2F). Resp. Filière PUF Vietnam IUT Bdx
Maabout_ID1084917743 Maabout Sofian sofian.maabout[at]labri.fr +33 (0)5 40 00 35 27 314 MdC RATIO
Mosbah_ID1084917754 Mosbah Mohamed mohamed.mosbah[at]labri.fr +33 (0)5 40 00 69 17 363 Pr MTV Directeur Adjoint Resp. Relations Industrielles
Point_ID1084917772 Point Gerald gerald.point[at]labri.fr +33 (0)5 40 00 38 76 260 IR MTV
Renault_ID1084917778 Renault David david.renault[at]labri.fr +33 (0)5 40 00 35 39 122 MdC LX
Senizergues_ID1084917794 Sénizergues Géraud geraud.senizergues[at]labri.fr +33 (0)5 40 00 35 26 312 Pr LX
Sutre_ID1084917800 Sutre Gregoire gregoire.sutre[at]labri.fr +33 (0)5 40 00 33 36 263 CR MTV
Walukiewicz_ID1084917816 Walukiewicz Igor igor.walukiewicz[at]labri.fr +33 (0)5 40 00 69 03 320 DR MTV
Weil_ID1084917817 Weil Pascal pascal.weil[at]labri.fr +33 (0)5 40 00 84 23 362 DR LX
Zeitoun_ID1120210651 Zeitoun Marc marc.zeitoun[at]labri.fr +33 (0)5 40 00 60 94 202 Pr MTV
Leroux_ID1120469864 Leroux Jerome jerome.leroux[at]labri.fr +33 (0)5 40 00 35 09 264 DR MTV
Rollet_ID1125565527 Rollet Antoine antoine.rollet[at]labri.fr +33 (0)5 40 00 69 08 115 MdC MTV Responsable adjoint du Département M2F
Fleury_ID1130225821 Fleury Emmanuel emmanuel.fleury[at]labri.fr +33 (0)5 40 00 69 34 261 MdC MTV Resp. projets pédagogiques
Allali_ID1151584358 Allali Julien julien.allali[at]labri.fr +33 (0)5 40 00 24 90 276 MdC DART Responsable du Fablab EIRLAB de l'ENSEIRB-MATMECA
Muscholl_ID1156847108 Muscholl Anca anca.muscholl[at]labri.fr +33 (0)5 40 00 35 21 321 Pr MTV Responsable des masters
Gimbert_ID1194254271 Gimbert Hugo hugo.gimbert[at]labri.fr +33 (0)5 40 00 84 28 275 CR MTV Responsable du Département M2F
Gauwin_ID1315297900 Gauwin Olivier olivier.gauwin[at]labri.fr +33 (0)5 40 00 38 73 311 MdC LX
Place_ID1346662185 Place Thomas thomas.place[at]labri.fr +33 (0)5 40 00 37 95 278 MdC MTV
Lombardy_ID1346673081 Lombardy Sylvain sylvain.lombardy[at]labri.fr +33 (0)5 40 00 69 20 254 Pr RATIO Directeur du département Réseaux et Systèmes d'information de l'ENSEIRB-MATMECA
Alexandre_ID1347289263 Alexandre Frederic frederic.alexandre[at]labri.fr +33 (0)5 40 00 37 93 252 DR DART
Passault_ID1358159498 Passault Gregoire gregoire.passault[at]labri.fr +33 (0)5 40 00 29 28 209 MdC DART
Simon_ID1378123869 Simon Laurent laurent.simon[at]labri.fr +33 (0)5 40 00 37 98 302 Pr RATIO Responsable de l'Axe IA
Rougier_ID1378731279 Rougier Nicolas nicolas.rougier[at]labri.fr +33 (0)5 40 00 37 93 252 CR DART
Figueira_ID1412254239 Figueira Diego diego.figueira[at]labri.fr +33 (0)5 40 00 29 28 209 CR RATIO Responsable Equipe RATIO (Dpt M2F)
Hinaut_ID1458312375 Hinaut Xavier xavier.hinaut[at]labri.fr +33 (0)5 40 00 37 93 252 CR DART
Penelle_ID1504252482 Penelle Vincent vincent.penelle[at]labri.fr +33 (0)5 40 00 62 43 307 MdC MTV Resp. Master AM et VC
Fijalkow_ID1516008201 Fijalkow Nathanael nathanael.fijalkow[at]labri.fr +33 (0)5 40 00 37 97 268 CR MTV
Bienvenu_ID1536915696 Bienvenu Meghyn meghyn.bienvenu[at]labri.fr +33 (0)5 40 00 38 72 208 DR RATIO
Bienvenu_ID1536915990 Bienvenu Laurent laurent.bienvenu[at]labri.fr +33 (0)5 40 00 38 21 364 CR LX Responsable Equipe LX (Dpt M2F)
Pauleve_ID1539950251 Paulevé Loïc loic.pauleve[at]labri.fr +33 (0)5 40 00 60 81 372 DR MTV
Fijalkow_ID1541509968 Fijalkow Joanna joanna.fijalkow[at]labri.fr +33 (0)5 40 00 37 97 268 CR RATIO Responsable adjoint Equipe RATIO (Dpt M2F)
Lagarde_ID1567069733 Lagarde Guillaume guillaume.lagarde[at]labri.fr +33 (0)5 40 00 35 29 316 MdC LX
Khamari_ID1580722515 Khamari Sabri sabri.khamari[at]labri.fr +33 (0)5 40 00 84 27 325 Doct DART
Ghnaya_ID1609668304 Ghnaya Imed imed.ghnaya[at]labri.fr +33 (0)5 40 00 35 53 367 Doct DART
Larroze-jardine_ID1611154812 Larroze-jardine Sarah sarah.larroze-jardine[at]labri.fr +33 (0)5 40 00 35 14 105 Doct MTV
Ibrahim_ID1616663928 Ibrahim Aida aida.ibrahim[at]labri.fr +33 (0)5 40 00 37 96 257 Doct MTV
Matricon_ID1619446460 Matricon Theo theo.matricon[at]labri.fr +33 (0)5 40 00 84 27 325 Doct MTV
Hilaire_ID1629894000 Hilaire Thibault thibault.hilaire[at]labri.fr +33 (0)5 40 00 37 96 257 Doct MTV
Mascle_ID1629894899 Mascle Corto corto.mascle[at]labri.fr +33 (0)5 40 00 37 96 257 Doct MTV
Morvan_ID1629895272 Morvan Rémi remi.morvan[at]labri.fr +33 (0)5 40 00 84 27 325 Doct MTV
Mercier_ID1632907564 Mercier Chloe chloe.mercier[at]labri.fr +33 (0)5 33 51 69 27 104 ATER DART
Chaix-echel_ID1632908090 Chaix-echel Naomi naomi.chaix-eichel[at]labri.fr +33 (0)5 33 51 48 02 PELLEGRIN Doct DART
Magana_lopez_ID1643899138 Magana lopez Gustavo gustavo.magana[at]labri.fr +33 (0)5 40 00 31 09 256 Doct MTV
De_Castro_Pinto_ID1645003096 De Castro Pinto Théo theo.de-castro-pinto[at]labri.fr +33 (0)5 40 00 69 37 327 Doct MTV Vice-président AFODIB
Dardour_ID1645006661 Dardour Mayssa mayssa.dardour[at]labri.fr +33 (0)5 40 00 85 15 274 Doct DART
Delpy_ID1652424718 Delpy Romain romain.delpy[at]labri.fr +33 (0)5 40 00 35 17 357 Doct MTV
Swessi_ID1652427526 Swessi Rania rania.swessi[at]labri.fr +33 (0)5 40 00 85 15 274 Doct DART
Thuillier_ID1656075710 Thuillier Kerian kerian.thuillier[at]labri.fr +33 (0)9 99 99 99 99 67 Doct MTV
Ghassemi_Nedjad_ID1657534026 Ghassemi Nedjad Chabname chabname.ghasseminedjad[at]labri.fr +33 (0)5 40 00 31 09 256 Doct MTV
Rixte_ID1657534599 Rixte Alice alice.rixte[at]labri.fr +33 (0)5 40 00 35 54 125 Doct LX
Awuklu_ID1658828179 Awuklu Kokou-yvon kokou-yvon.awuklu[at]labri.fr +33 (0)5 40 00 84 19 123 Doct RATIO
Bathie_ID1661434681 Bathie Gabriel gabriel.bathie[at]labri.fr +33 (0)5 40 00 84 27 325 Doct DART
Gaspard_ID1667832618 Gaspard Clement clement.gaspard[at]labri.fr +33 (0)5 56 84 57 85 IUT Doct DART
Duclusaud_ID1667832743 Duclusaud Marc marc.duclusaud[at]labri.fr +33 (0)5 56 84 57 85 IUT Doct DART
Rais_ID1671201750 Rais Sylvain sylvain.rais[at]labri.fr +33 (0)5 40 00 84 19 123 Doct MTV
Lafourcade_ID1678444488 Lafourcade Pierre pierre.lafourcade[at]labri.fr +33 (0)5 40 00 35 53 367 Doct RATIO
Jean_ID1680857603 Jean Robin robin.jean[at]labri.fr +33 (0)5 40 00 84 19 123 Doct RATIO
Ferrero_ID1683033661 Ferrero Cedrik cedrik.ferrero[at]labri.fr +33 (0)5 56 84 61 00 INP Ingénieur sous contrat DART
Tissot_ID1687162819 Tissot Priscilla priscilla.tissot[at]labri.fr +33 (0)5 40 00 84 63 101 Stag MTV
Daniel_ID1690292247 Daniel Melodie melodie.daniel[at]labri.fr +33 (0)5 40 00 60 88 305 MdC DART
Kozhemiachenko_ID1695977160 Kozhemiachenko Daniil daniil.kozhemiachenko[at]labri.fr +33 (0)5 40 00 35 00 356 PostDoc RATIO
Vandenhove_ID1696230087 Vandenhove Pierre pierre.vandenhove[at]labri.fr +33 (0)5 40 00 35 00 356 PostDoc DART
Roncalli_ID1697636979 Roncalli Theo theo.roncalli[at]labri.fr +33 (0)5 40 00 35 54 125 Doct MTV
Boyenval_ID1704708494 Boyenval Deborah deborah.boyenval[at]labri.fr +33 (0)5 40 00 60 80 353 PostDoc MTV
Brisset_ID1706799137 Brisset Sylvain sylvain.brisset[at]labri.fr +33 (0)5 40 00 35 54 125 Stag DART
Vaginay_ID1708699272 Vaginay Athenais athenais.vaginay[at]labri.fr +33 (0)5 40 00 60 80 353 PostDoc MTV
Lacoste_ID1708702923 Lacoste Theo theo.lacoste[at]labri.fr +33 (0)5 40 00 25 35 CREMI Stag MTV
Ajithkumar_vijayalekshmi_ID1711615119 Ajithkumar vijayalekshmi Sreejith sreejith.ajithkumar-vijayalekshmi[at]u-bordeaux.fr +33 (0)9 99 99 99 99 307 MdC MTV
Yacheur_ID1714397933 Yacheur Adnane adnane.yacheur[at]labri.fr +33 (0)5 40 00 35 00 356 Stag DART
Viswanathan_ID1714656840 Viswanathan Gautham singikulam gautham singikulam.viswanathan[at]labri.fr +33 (0)9 99 99 99 99 125 Stag MTV
Radiousse_ID1717080307 Radiousse Chaimaa chaimaa.radiousse[at]labri.fr +33 (0)9 99 99 99 99 357 Stag MTV