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:

thèmes scientifiques des équipes du département M2F au LaBRI

 

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 avec les évènements du département en utilisant une des sources suivantes:

Les différents groupes de travail et séminaires ont leurs propres pages:

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 LX 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 DART Directeur Adjoint Resp. Relations Industrielles
Point_ID1084917772 Point Gerald gerald.point[at]labri.fr +33 (0)5 40 00 38 76 262 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 LX
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 25 Responsable du Département M2F
Place_ID1346662185 Place Thomas thomas.place[at]labri.fr +33 (0)5 40 00 37 95 278 MdC LX
Lombardy_ID1346673081 Lombardy Sylvain sylvain.lombardy[at]labri.fr +33 (0)5 40 00 69 20 254 Pr LX 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 LX Resp. Master AM et VC
Fijalkow_ID1516008201 Fijalkow Nathanael nathanael.fijalkow[at]labri.fr +33 (0)5 40 00 37 97 268 CR 25
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 25
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 25
Khamari_ID1580722515 Khamari Sabri sabri.khamari[at]labri.fr +33 (0)5 40 00 84 27 107 ATER DART
Ghnaya_ID1609668304 Ghnaya Imed imed.ghnaya[at]labri.fr +33 (0)5 40 00 35 53 367 PostDoc 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 RATIO
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 25
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
Biziere_ID1678444387 Biziere Clotilde clotilde.biziere[at]labri.fr +33 (0)5 40 00 69 27 104 Doct MTV
Lafourcade_ID1678444488 Lafourcade Pierre pierre.lafourcade[at]labri.fr +33 (0)5 40 00 35 53 367 Doct RATIO
Belly_ID1678444567 Belly Marius marius.belly-le-guilloux[at]labri.fr +33 (0)5 40 00 35 55 352 IE 25
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
Daniel_ID1690292247 Daniel Melodie melodie.daniel[at]labri.fr +33 (0)5 40 00 60 88 305 MdC 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
Mouillon_ID1709731441 Mouillon Baptiste baptiste.mouillon[at]labri.fr +33 (0)5 40 00 38 83 306 IR 25
Boughariou_ID1714397651 Boughariou Rima rima.boughariou[at]labri.fr +33 (0)5 40 00 36 10 374 Doct DART
Kniazev_ID1724939302 Kniazev Roman roman.kniazev[at]labri.fr +33 (0)5 40 00 36 10 374 PostDoc 25
Biane_ID1725000612 Biane Celia celia.biane[at]labri.fr +33 (0)5 40 00 35 55 352 PostDoc MTV
Hilaire_ID1725265485 Hilaire Mathieu mathieu.hilaire[at]labri.fr +33 (0)5 40 00 37 95 278 MdC MTV
Pulari_ID1727339354 Pulari Subin subin.pulari[at]labri.fr +33 (0)5 40 00 35 00 356 PostDoc LX
Ghosh_ID1727342161 Ghosh Arka arka.ghosh[at]labri.fr +33 (0)5 40 00 35 10 374 IE LX
Ghigo_ID1727686708 Ghigo Vincent vincent.ghigo[at]labri.fr +33 (0)5 40 00 69 37 327 Doct LX
Zamai_ID1729776728 Zamai Andrew andrew.zamai[at]labri.fr +33 (0)5 40 00 38 76 260 Doct DART
Raguin_ID1732879521 Raguin Adélaïde adelaide.raguin[at]labri.fr +33 (0)5 40 00 38 21 364 CR MTV