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 (apprentissage, méthodes symboliques), et les applications, notamment dans les domaines de la robotique, des neurosciences computationelles et des systèmes de transports intelligents.
Le département M2F se structure autour de quatre équipes (LX / MTV / RATIO / DART). Chaque équipe se spécialise dans plusieurs thèmes:
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.
- Séminaire du département M2F
- Séminaire RATIO
- Séminaire MTV
- Séminaire LX
- Séminaire R4
- Séminaire Mnemosyne
- Groupe de travail COQ
ID | Nom | Courriel | Téléphone | Bureau | Statut | Équipe | Fonction |
---|---|---|---|---|---|---|---|
Carrere_ID1084917644 | Carrere Frederique | frederique.carrere![]() |
+33 (0)5 40 00 84 25 | 309 | MdC | MTV | Coordinatrice mobilité Internationale de l'UF Info |
Casteran_ID1084917646 | Casteran Pierre | pierre.casteran![]() |
+33 (0)5 40 00 35 26 | 312 | MdC | MTV | Emérite |
Courcelle_ID1084917660 | Courcelle Bruno | bruno.courcelle![]() |
+33 (0)5 40 00 60 86 | 117 | Pr | LX | Emérite |
Durand_ID1084917682 | Durand Irène | irene.durand![]() |
+33 (0)5 40 00 69 14 | 204 | MdC | LX | |
Felix_ID1084917689 | Felix Patrick | patrick.felix![]() |
+33 (0)5 40 00 69 15 | 262 | MdC | MTV | Directeur Dépt Info - IUT Bordeaux |
Griffault_ID1084917706 | Griffault Alain | alain.griffault![]() |
+33 (0)5 40 00 69 15 | 262 | MdC | MTV | Directeur de l'Unité de Formation Informatique |
Herbreteau_ID1084917717 | Herbreteau Frederic | frederic.herbreteau![]() |
+33 (0)5 40 00 33 36 | 263 | MdC | MTV | Responsable de l'équipe MTV (Dpt M2F) |
Janin_ID1084917719 | Janin David | david.janin![]() |
+33 (0)5 40 00 69 16 | 206 | MdC | LX | |
Lapoire_ID1084917727 | Lapoire Denis | denis.lapoire![]() |
+33 (0)5 40 00 69 16 | 206 | MdC | DART | |
Ly_ID1084917742 | Ly Olivier | olivier.ly![]() |
+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![]() |
+33 (0)5 40 00 35 27 | 314 | MdC | RATIO | |
Mosbah_ID1084917754 | Mosbah Mohamed | mohamed.mosbah![]() |
+33 (0)5 40 00 69 17 | 363 | Pr | MTV | Directeur Adjoint Resp. Relations Industrielles |
Point_ID1084917772 | Point Gerald | gerald.point![]() |
+33 (0)5 40 00 38 76 | 260 | IR | MTV | |
Renault_ID1084917778 | Renault David | david.renault![]() |
+33 (0)5 40 00 35 39 | 122 | MdC | LX | |
Senizergues_ID1084917794 | Sénizergues Géraud | geraud.senizergues![]() |
+33 (0)5 40 00 35 26 | 312 | Pr | LX | |
Sutre_ID1084917800 | Sutre Gregoire | gregoire.sutre![]() |
+33 (0)5 40 00 33 36 | 263 | CR | MTV | |
Walukiewicz_ID1084917816 | Walukiewicz Igor | igor.walukiewicz![]() |
+33 (0)5 40 00 69 03 | 320 | DR | MTV | |
Weil_ID1084917817 | Weil Pascal | pascal.weil![]() |
+33 (0)5 40 00 84 23 | 362 | DR | LX | |
Zeitoun_ID1120210651 | Zeitoun Marc | marc.zeitoun![]() |
+33 (0)5 40 00 60 94 | 202 | Pr | MTV | |
Leroux_ID1120469864 | Leroux Jerome | jerome.leroux![]() |
+33 (0)5 40 00 35 09 | 264 | DR | MTV | |
Rollet_ID1125565527 | Rollet Antoine | antoine.rollet![]() |
+33 (0)5 40 00 69 08 | 115 | MdC | MTV | Responsable adjoint du Département M2F |
Fleury_ID1130225821 | Fleury Emmanuel | emmanuel.fleury![]() |
+33 (0)5 40 00 69 34 | 261 | MdC | MTV | Resp. projets pédagogiques |
Allali_ID1151584358 | Allali Julien | julien.allali![]() |
+33 (0)5 40 00 24 90 | 276 | MdC | DART | Responsable du Fablab EIRLAB de l'ENSEIRB-MATMECA |
Muscholl_ID1156847108 | Muscholl Anca | anca.muscholl![]() |
+33 (0)5 40 00 35 21 | 321 | Pr | MTV | Responsable des masters |
Gimbert_ID1194254271 | Gimbert Hugo | hugo.gimbert![]() |
+33 (0)5 40 00 84 28 | 275 | CR | MTV | Responsable du Département M2F |
Gauwin_ID1315297900 | Gauwin Olivier | olivier.gauwin![]() |
+33 (0)5 40 00 38 73 | 311 | MdC | LX | |
Place_ID1346662185 | Place Thomas | thomas.place![]() |
+33 (0)5 40 00 37 95 | 278 | MdC | MTV | |
Lombardy_ID1346673081 | Lombardy Sylvain | sylvain.lombardy![]() |
+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![]() |
+33 (0)5 40 00 37 93 | 252 | DR | DART | |
Passault_ID1358159498 | Passault Gregoire | gregoire.passault![]() |
+33 (0)5 40 00 29 28 | 209 | MdC | DART | |
Simon_ID1378123869 | Simon Laurent | laurent.simon![]() |
+33 (0)5 40 00 37 98 | 302 | Pr | RATIO | Responsable de l'Axe IA |
Rougier_ID1378731279 | Rougier Nicolas | nicolas.rougier![]() |
+33 (0)5 40 00 37 93 | 252 | CR | DART | |
Figueira_ID1412254239 | Figueira Diego | diego.figueira![]() |
+33 (0)5 40 00 29 28 | 209 | CR | RATIO | Responsable Equipe RATIO (Dpt M2F) |
N'guyen_ID1417511862 | N'guyen Steve | steve.nguyen![]() |
+33 (0)5 40 00 38 72 | 208 | IE | DART | |
Hinaut_ID1458312375 | Hinaut Xavier | xavier.hinaut![]() |
+33 (0)5 40 00 37 93 | 252 | CR | DART | |
Penelle_ID1504252482 | Penelle Vincent | vincent.penelle![]() |
+33 (0)5 40 00 62 43 | 307 | MdC | MTV | Resp. Master AM et VC |
Fijalkow_ID1516008201 | Fijalkow Nathanael | nathanael.fijalkow![]() |
+33 (0)5 40 00 37 97 | 268 | CR | MTV | |
Bienvenu_ID1536915696 | Bienvenu Meghyn | meghyn.bienvenu![]() |
+33 (0)5 40 00 38 72 | 208 | DR | RATIO | |
Bienvenu_ID1536915990 | Bienvenu Laurent | laurent.bienvenu![]() |
+33 (0)5 40 00 38 21 | 364 | CR | LX | Responsable Equipe LX (Dpt M2F) |
Pauleve_ID1539950251 | Paulevé Loïc | loic.pauleve![]() |
+33 (0)5 40 00 60 81 | 372 | DR | MTV | |
Fijalkow_ID1541509968 | Fijalkow Joanna | joanna.fijalkow![]() |
+33 (0)5 40 00 37 97 | 268 | CR | RATIO | Responsable adjoint Equipe RATIO (Dpt M2F) |
Sankar_ID1549967401 | Sankar Remya | remya.sankar![]() |
+33 (0)5 40 00 | INRIA | Doct | DART | |
Lagarde_ID1567069733 | Lagarde Guillaume | guillaume.lagarde![]() |
+33 (0)5 40 00 35 29 | 316 | MdC | LX | |
Khamari_ID1580722515 | Khamari Sabri | sabri.khamari![]() |
+33 (0)5 40 00 84 27 | 325 | Doct | DART | |
Casares_santos_ID1601389948 | Casares santos Antonio | antonio.casares-santos![]() |
+33 (0)5 40 00 37 96 | 257 | Doct | DART | |
Ghnaya_ID1609668304 | Ghnaya Imed | imed.ghnaya![]() |
+33 (0)5 40 00 35 53 | 367 | Doct | DART | |
Larroze-jardine_ID1611154812 | Larroze-jardine Sarah | sarah.larroze-jardine![]() |
+33 (0)5 40 00 35 14 | 105 | Doct | MTV | Vice-trésorière AFODIB |
Ibrahim_ID1616663928 | Ibrahim Aida | aida.ibrahim![]() |
+33 (0)5 40 00 37 96 | 257 | Doct | MTV | |
Matricon_ID1619446460 | Matricon Theo | theo.matricon![]() |
+33 (0)5 40 00 85 27 | 325 | Doct | MTV | Trésorier AFODIB |
Hyseni_ID1625040691 | Hyseni Fjola | fjola.hyseni![]() |
INRIA | Doct | DART | ||
Hilaire_ID1629894000 | Hilaire Thibault | thibault.hilaire![]() |
+33 (0)5 40 00 37 96 | 257 | Doct | MTV | |
Mascle_ID1629894899 | Mascle Corto | corto.mascle![]() |
+33 (0)5 40 00 37 96 | 257 | Doct | MTV | Vice-président AFODIB |
Morvan_ID1629895272 | Morvan Rémi | remi.morvan![]() |
+33 (0)5 40 00 84 27 | 325 | Doct | MTV | Président AFODIB |
Chaix-echel_ID1632908090 | Chaix-echel Naomi | naomi.chaix-eichel![]() |
+33 (0)5 33 51 48 02 | PELLEGRIN | Doct | DART | |
Margueritte_ID1643898747 | Margueritte Gaetan | gaetan.margueritte![]() |
+33 (0)4 40 00 36 10 | 374 | IR | DART | |
Magana_lopez_ID1643899138 | Magana lopez Gustavo | gustavo.magana![]() |
+33 (0)5 40 00 31 09 | 256 | Doct | MTV | Secrétaire AFODIB |
De_Castro_Pinto_ID1645003096 | De Castro Pinto Théo | theo.de-castro-pinto![]() |
+33 (0)5 40 00 69 37 | 327 | Doct | MTV | |
Dardour_ID1645006661 | Dardour Mayssa | mayssa.dardour![]() |
+33 (0)5 40 00 85 15 | 274 | Doct | DART | |
Delpy_ID1652424718 | Delpy Romain | romain.delpy![]() |
+33 (0)5 40 00 35 17 | 357 | Doct | MTV | |
Swessi_ID1652427526 | Swessi Rania | rania.swessi![]() |
+33 (0)5 40 00 85 15 | 274 | Doct | DART | |
Thuillier_ID1656075710 | Thuillier Kerian | kerian.thuillier![]() |
+33 (0)9 99 99 99 99 | 67 | Doct | MTV | |
Ghassemi_Nedjad_ID1657534026 | Ghassemi Nedjad Chabname | chabname.ghasseminedjad![]() |
+33 (0)5 40 00 31 09 | 256 | Doct | MTV | |
Rixte_ID1657534599 | Rixte Alice | alice.rixte![]() |
+33 (0)5 40 00 35 54 | 125 | Doct | LX | |
Grellois_ID1658757292 | Grellois Charles | charles.grellois![]() |
+33 (0)5 40 00 84 25 | 309 | MdC | MTV | |
Awuklu_ID1658828179 | Awuklu Kokou-yvon | kokou-yvon.awuklu![]() |
+33 (0)9 99 99 99 99 | CHU | Doct | RATIO | |
Gaspard_ID1667832618 | Gaspard Clement | clement.gaspard![]() |
+33 (0)9 99 99 99 99 | IUT | Doct | DART | |
Duclusaud_ID1667832743 | Duclusaud Marc | marc.duclusaud![]() |
+33 (0)9 99 99 99 99 | IUT | Doct | DART | |
Rais_ID1671201750 | Rais Sylvain | sylvain.rais![]() |
+33 (0)5 40 00 84 19 | 123 | Doct | MTV | |
Lafourcade_ID1678444488 | Lafourcade Pierre | pierre.lafourcade![]() |
+33 (0)9 99 99 99 99 | 367 | Doct | RATIO | |
Jean_ID1680857603 | Jean Robin | robin.jean![]() |
+33 (0)5 40 00 84 19 | 123 | Doct | RATIO | |
Ferrero_ID1683033661 | Ferrero Cedrik | cedrik.ferrero![]() |
+33 (0)9 99 99 99 99 | INP | Ingénieur sous contrat | DART | |
Daniel_ID1690292247 | Daniel Melodie | melodie.daniel![]() |
+33 (0)5 40 00 60 88 | 305 | MdC | DART | |
Kozhemiachenko_ID1695977160 | Kozhemiachenko Daniil | daniil.kozhemiachenko![]() |
+33 (0)5 40 00 35 00 | 356 | PostDoc | RATIO | |
Vandenhove_ID1696230087 | Vandenhove Pierre | pierre.vandenhove![]() |
+33 (0)5 40 00 35 00 | 356 | PostDoc | DART | |
Roncalli_ID1697636979 | Roncalli Theo | theo.roncalli![]() |
+33 (0)5 40 00 35 54 | 125 | Doct | MTV |