Heads of departement : Hugo Gimbert and Antoine Rollet
Research in the M2F department encompasses several topics, including the foundations of formal methods (automata, logic, verification), the transformation of data to formal models (synthesis by learning and symbolic methods) and their applications to robotics, computational neurosciences and intelligent transportation systems.

The M2F department is structured around five teams (LX / MTV / RATIO / DART / SYNTHESE). These teams adress the following themes:
Seminars and working groups
- Seminar of the M2F department
- RATIO group meetings
- MTV group meetings
- LX group meetings
- R4 seminar
- Mnemosyne group meetings
- COQ working group
| ID | Name | Phone | Office | Status | Team | Function | |
|---|---|---|---|---|---|---|---|
| Carrere_ID1084917644 | Carrere Frederique | frederique.carrere labri.fr |
+33 (0)5 40 00 84 25 | 309 | MdC | LX | Resp. Licence informatique parcours international en tuilage avec Francieli Zanon-boito |
| Casteran_ID1084917646 | Casteran Pierre | pierre.casteran labri.fr |
+33 (0)5 40 00 35 26 | 312 | MdC | MTV | Emérite |
| Courcelle_ID1084917660 | Courcelle Bruno | bruno.courcelle labri.fr |
+33 (0)5 40 00 60 86 | 117 | Pr | LX | Emérite |
| Durand_ID1084917682 | Durand Irène | irene.durand labri.fr |
+33 (0)5 40 00 69 14 | 204 | MdC | LX | |
| Felix_ID1084917689 | Felix Patrick | patrick.felix labri.fr |
+33 (0)9 99 99 99 99 | . | MdC | MTV | Responsable des relations entreprises département informatique - IUT de Bordeaux |
| Griffault_ID1084917706 | Griffault Alain | alain.griffault labri.fr |
+33 (0)5 40 00 38 76 | 262 | MdC | MTV | Directeur de l'Unité de Formation Informatique |
| Herbreteau_ID1084917717 | Herbreteau Frederic | frederic.herbreteau 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 labri.fr |
+33 (0)5 40 00 69 16 | 206 | MdC | LX | |
| Lapoire_ID1084917727 | Lapoire Denis | denis.lapoire labri.fr |
+33 (0)5 40 00 69 16 | 206 | MdC | DART | |
| Ly_ID1084917742 | Ly Olivier | olivier.ly 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 labri.fr |
+33 (0)5 40 00 35 27 | 314 | MdC | RATIO | |
| Mosbah_ID1084917754 | Mosbah Mohamed | mohamed.mosbah labri.fr |
+33 (0)5 40 00 69 17 | 363 | Pr | DART | Directeur Adjoint Resp. Relations Industrielles |
| Point_ID1084917772 | Point Gerald | gerald.point labri.fr |
+33 (0)5 40 00 38 76 | 262 | IR | MTV | |
| Renault_ID1084917778 | Renault David | david.renault labri.fr |
+33 (0)5 40 00 35 39 | 122 | MdC | LX | |
| Senizergues_ID1084917794 | Sénizergues Géraud | geraud.senizergues labri.fr |
+33 (0)5 40 00 35 26 | 312 | Pr | LX | |
| Sutre_ID1084917800 | Sutre Gregoire | gregoire.sutre labri.fr |
+33 (0)5 40 00 33 36 | 263 | CR | MTV | |
| Walukiewicz_ID1084917816 | Walukiewicz Igor | igor.walukiewicz labri.fr |
+33 (0)5 40 00 69 03 | 320 | DR | MTV | |
| Weil_ID1084917817 | Weil Pascal | pascal.weil labri.fr |
+33 (0)5 40 00 84 23 | 362 | DR | LX | |
| Zeitoun_ID1120210651 | Zeitoun Marc | marc.zeitoun labri.fr |
+33 (0)5 40 00 60 94 | 202 | Pr | LX | |
| Leroux_ID1120469864 | Leroux Jerome | jerome.leroux labri.fr |
+33 (0)5 40 00 35 09 | 264 | DR | MTV | |
| Rollet_ID1125565527 | Rollet Antoine | antoine.rollet labri.fr |
+33 (0)5 40 00 69 08 | 115 | MdC | MTV | Responsable adjoint du Département M2F |
| Fleury_ID1130225821 | Fleury Emmanuel | emmanuel.fleury labri.fr |
+33 (0)5 40 00 69 34 | 261 | MdC | MTV | . |
| Allali_ID1151584358 | Allali Julien | julien.allali 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 labri.fr |
+33 (0)5 40 00 35 21 | 321 | Pr | MTV | Responsable des masters |
| Gimbert_ID1194254271 | Gimbert Hugo | hugo.gimbert labri.fr |
+33 (0)5 40 00 84 28 | 275 | CR | MTV | Responsable du Département M2F |
| Place_ID1346662185 | Place Thomas | thomas.place labri.fr |
+33 (0)5 40 00 37 95 | 278 | MdC | LX | |
| Lombardy_ID1346673081 | Lombardy Sylvain | sylvain.lombardy 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 labri.fr |
+33 (0)5 40 00 37 93 | 252 | DR | DART | |
| Passault_ID1358159498 | Passault Gregoire | gregoire.passault labri.fr |
+33 (0)5 40 00 29 28 | 209 | MdC | DART | Responsable Rhoban |
| Simon_ID1378123869 | Simon Laurent | laurent.simon labri.fr |
+33 (0)5 40 00 37 98 | 302 | Pr | RATIO | Responsable de l'Axe IA |
| Rougier_ID1378731279 | Rougier Nicolas | nicolas.rougier labri.fr |
+33 (0)5 40 00 37 93 | 252 | CR | DART | |
| Figueira_ID1412254239 | Figueira Diego | diego.figueira labri.fr |
+33 (0)5 40 00 29 28 | 209 | CR | RATIO | Responsable Equipe RATIO (Dpt M2F) |
| Hinaut_ID1458312375 | Hinaut Xavier | xavier.hinaut labri.fr |
+33 (0)5 40 00 37 93 | 252 | CR | DART | |
| Penelle_ID1504252482 | Penelle Vincent | vincent.penelle labri.fr |
+33 (0)5 40 00 62 43 | 307 | MdC | MTV | Resp. Master AM et VC |
| Fijalkow_ID1516008201 | Fijalkow Nathanael | nathanael.fijalkow labri.fr |
+33 (0)5 40 00 37 97 | 268 | CR | LX | |
| Bienvenu_ID1536915696 | Bienvenu Meghyn | meghyn.bienvenu labri.fr |
+33 (0)5 40 00 38 72 | 208 | DR | RATIO | |
| Bienvenu_ID1536915990 | Bienvenu Laurent | laurent.bienvenu labri.fr |
+33 (0)5 40 00 38 21 | 364 | CR | LX | Responsable Equipe LX (Dpt M2F) |
| Pauleve_ID1539950251 | Paulevé Loïc | loic.pauleve labri.fr |
+33 (0)5 40 00 60 81 | 372 | DR | MTV | |
| Fijalkow_ID1541509968 | Fijalkow Joanna | joanna.fijalkow labri.fr |
+33 (0)5 40 00 37 97 | 268 | CR | RATIO | Responsable adjoint Equipe RATIO (Dpt M2F) |
| Lagarde_ID1567069733 | Lagarde Guillaume | guillaume.lagarde labri.fr |
+33 (0)5 40 00 35 29 | 316 | MdC | LX | |
| Khamari_ID1580722515 | Khamari Sabri | sabri.khamari labri.fr |
+33 (0)9 99 99 99 99 | INP | PostDoc | DART | |
| Ghnaya_ID1609668304 | Ghnaya Imed | imed.ghnaya labri.fr |
+33 (0)5 40 00 35 53 | 367 | PostDoc | DART | |
| Larroze-jardine_ID1611154812 | Larroze-jardine Sarah | sarah.larroze-jardine labri.fr |
+33 (0)5 40 00 84 27 | 325 | Doct | MTV | |
| Ibrahim_ID1616663928 | Ibrahim Aida | aida.ibrahim labri.fr |
+33 (0)9 99 99 99 99 | . | Doct | MTV | |
| Hilaire_ID1629894000 | Hilaire Thibault | thibault.hilaire labri.fr |
+33 (0)5 40 00 37 96 | 257 | ATER | MTV | |
| Latappy_ID1629894460 | Latappy Corentin | corentin.latappy labri.fr |
+33 (0)5 56 84 57 85 | IUT | IR | DART | |
| Chaix-echel_ID1632908090 | Chaix-echel Naomi | naomi.chaix-eichel labri.fr |
+33 (0)5 33 51 48 02 | PELLEGRIN | Doct | DART | |
| Magana_lopez_ID1643899138 | Magana lopez Gustavo | gustavo.magana labri.fr |
+33 (0)5 40 00 31 09 | 256 | Doct | SYNTH | |
| De_Castro_Pinto_ID1645003096 | De Castro Pinto Théo | theo.de-castro-pinto labri.fr |
+33 (0)9 99 99 99 99 | ENSEIRB | ATER | MTV | . |
| Dardour_ID1645006661 | Dardour Mayssa | mayssa.dardour labri.fr |
+33 (0)5 40 00 84 15 | 274 | IR | DART | |
| El_khalfi_ID1651220840 | El khalfi Zeineb | +33 (0)9 99 99 99 99 | 0 | collaborateur | DART | ||
| Delpy_ID1652424718 | Delpy Romain | romain.delpy labri.fr |
+33 (0)5 40 00 35 17 | 357 | Doct | MTV | Vice-trésorier Afodib |
| Swessi_ID1652427526 | Swessi Rania | rania.swessi labri.fr |
+33 (0)5 40 00 85 15 | 274 | Doct | DART | |
| Ghassemi_Nedjad_ID1657534026 | Ghassemi Nedjad Chabname | chabname.ghasseminedjad labri.fr |
+33 (0)5 40 00 60 81 | 372 | Doct | MTV | |
| Rixte_ID1657534599 | Rixte Alice | alice.rixte labri.fr |
+33 (0)5 40 00 35 54 | 125 | Doct | LX | |
| Awuklu_ID1658828179 | Awuklu Kokou-yvon | kokou-yvon.awuklu labri.fr |
+33 (0)5 40 00 84 19 | 123 | Doct | RATIO | |
| Gaspard_ID1667832618 | Gaspard Clement | clement.gaspard labri.fr |
+33 (0)5 56 84 57 85 | IUT | Doct | DART | |
| Duclusaud_ID1667832743 | Duclusaud Marc | marc.duclusaud labri.fr |
+33 (0)5 56 84 57 85 | IUT | Doct | DART | |
| Rais_ID1671201750 | Rais Sylvain | sylvain.rais labri.fr |
+33 (0)5 40 00 84 19 | 123 | Doct | MTV | |
| Biziere_ID1678444387 | Biziere Clotilde | clotilde.biziere labri.fr |
+33 (0)5 40 00 35 17 | 357 | Doct | MTV | |
| Lafourcade_ID1678444488 | Lafourcade Pierre | pierre.lafourcade labri.fr |
+33 (0)5 40 00 35 53 | 367 | Doct | RATIO | |
| Jean_ID1680857603 | Jean Robin | robin.jean labri.fr |
+33 (0)5 40 00 35 53 | 367 | Doct | RATIO | |
| Ferrero_ID1683033661 | Ferrero Cedrik | cedrik.ferrero labri.fr |
+33 (0)5 56 84 61 00 | INP | Ingénieur sous contrat | DART | |
| Tissot_ID1687162819 | Tissot Priscilla | priscilla.tissot labri.fr |
+33 (0)5 40 00 84 63 | 257 | IE | SYNTH | |
| Daniel_ID1690292247 | Daniel Mélodie | melodie.daniel labri.fr |
+33 (0)5 40 00 60 88 | 305 | MdC | DART | |
| Roncalli_ID1697636979 | Roncalli Theo | theo.roncalli labri.fr |
+33 (0)5 40 00 31 09 | 256 | Doct | SYNTH | |
| Mouillon_ID1709731441 | Mouillon Baptiste | baptiste.mouillon labri.fr |
+33 (0)5 40 00 38 83 | 306 | IR | SYNTH | |
| Riverain_ID1711641430 | Riverain Olivier | olivier.riverain labri.fr |
+33 (0)5 40 00 84 19 | 123 | Doct | MTV | |
| Boughariou_ID1714397651 | Boughariou Rima | rima.boughariou labri.fr |
+33 (0)9 99 99 99 99 | 108 | Doct | DART | |
| Kniazev_ID1724939302 | Kniazev Roman | roman.kniazev labri.fr |
+33 (0)5 40 00 36 10 | 374 | PostDoc | SYNTH | |
| Biane_ID1725000612 | Biane Celia | celia.biane labri.fr |
+33 (0)5 40 00 35 55 | 352 | PostDoc | MTV | |
| Hilaire_ID1725265485 | Hilaire Mathieu | mathieu.hilaire labri.fr |
+33 (0)5 40 00 37 95 | 278 | MdC | MTV | |
| Pulari_ID1727339354 | Pulari Subin | subin.pulari labri.fr |
+33 (0)5 40 00 35 00 | 356 | PostDoc | LX | |
| Ghosh_ID1727342161 | Ghosh Arka | arka.ghosh labri.fr |
+33 (0)5 40 00 35 10 | 374 | IE | MTV | |
| Ghigo_ID1727686708 | Ghigo Vincent | vincent.ghigo labri.fr |
+33 (0)5 40 00 35 14 | 105 | Doct | LX | |
| Raguin_ID1732879521 | Raguin Adélaïde | adelaide.raguin labri.fr |
+33 (0)5 40 00 69 15 | 260 | CR | MTV | |
| Titov_ID1736435219 | Titov Ivan | ivan.titov labri.fr |
+33 (0)5 40 00 37 96 | 257 | PostDoc | LX | |
| Ayachi_ID1736778586 | Ayachi Mohamed Amine | mohamed-amine.ayachi labri.fr |
+33 (0)5 40 00 35 53 | 0 | Doct | DART | |
| Talbot_ID1740739634 | Talbot Jean-marc | jean-marc.talbot labri.fr |
+33 (0)5 40 00 38 21 | 364 | collaborateur | MTV | |
| Gargouri_ID1744634998 | Gargouri Jasser | jasser.gargouri labri.fr |
+33 (0)9 99 99 99 99 | 105 | Doct | DART | |
| Lachiheb_ID1747126917 | Lachiheb Siwar | siwar.lachiheb labri.fr |
+33 (0)5 40 00 84 27 | 325 | Doct | RATIO | |
| Michielini_ID1756386589 | Michielini Vincent | vincent.michielini labri.fr |
+33 (0)5 40 00 69 13 | 203 | PostDoc | RATIO | |
| Lopez_ID1756389805 | Lopez Aliaume | aliaume.lopez labri.fr |
+33 (0)5 40 00 62 43 | 307 | MdC | LX | |
| Laouar_ID1758812096 | Laouar Ahmed | ahmed.laouar labri.fr |
+33 (0)5 40 00 69 13 | 203 | IR | RATIO | |
| Coste_ID1759477242 | Coste Camille | camille.coste labri.fr |
+33 (0)5 40 00 69 00 | INP | IR | DART |
Contacts
labri.fr