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.

Illustration des activités M2F

 

Le département M2F se structure autour de quatre équipes (LX / MTV / RATIO / DART). Les thèmes de ces équipes sont les suivants:

Structuration M2F

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
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 RATIO
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)
N'guyen_ID1417511862 N'guyen Steve steve.nguyen[at]labri.fr +33 (0)5 40 00 38 72 208 IE DART
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
Fosse_ID1507879623 Fosse Rohan rohan.fosse[at]labri.fr +33 (0)5 40 00 35 00 356 ATER RATIO Trésorier de l'AFoDIB
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)
Paul_ID1538482890 Paul Soumyajit soumyajit.paul[at]labri.fr +33 (0)5 40 00 31 09 256 Doct DART
Pauleve_ID1539950251 Paulevé Loïc loic.pauleve[at]labri.fr +33 (0)5 40 00 60 88 305 CR MTV
Ochremiak_ID1541509968 Ochremiak Joanna joanna.ochremiak[at]labri.fr +33 (0)5 40 00 37 97 268 CR RATIO Responsable adjoint Equipe RATIO (Dpt M2F)
Sankar_ID1549967401 Sankar Remya remya.sankar[at]labri.fr +33 (0)5 40 00 INRIA Doct DART
Maniere_ID1569844838 Maniere Quentin quentin.maniere[at]labri.fr +33 (0)5 40 00 84 19 123 Doct RATIO
Khamari_ID1580722515 Khamari Sabri sabri.khamari[at]labri.fr +33 (0)5 40 00 84 27 325 Doct DART
Casares_santos_ID1601389948 Casares santos Antonio antonio.casares-santos[at]labri.fr +33 (0)5 40 00 37 96 257 Doct DART
Cima_ID1609668107 Cima Gianluca gianluca.cima[at]labri.fr +33 (0)5 40 00 35 55 352 PostDoc RATIO
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
Hyseni_ID1625040691 Hyseni Fjola fjola.hyseni[at]labri.fr INRIA Doct DART
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
Chaix-echel_ID1632908090 Chaix-echel Naomi +33 (0)5 33 51 48 02 PELLEGRIN Doct DART
Magana_lopez_ID1643899138 Magana lopez Gustavo gustavo.magana-lopez[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
Halnaut_ID1650009918 Halnaut Gael gael.halnaut[at]labri.fr +33 (0)9 99 99 99 99 125 Stag MTV
Delpy_ID1652424718 Delpy Romain romain.delpy[at]labri.fr +33 (0)9 99 99 99 99 0 Stag MTV
Houplain_ID1652425524 Houplain Antoine antoine.houplain[at]labri.fr +33 (0)9 99 99 99 99 0 Stag DART
Ranjan_ID1652426722 Ranjan Utkarsch +33 (0)9 99 99 99 99 0 Stag DART
Swessi_ID1652427526 Swessi Rania rania.swessi[at]labri.fr +33 (0)9 99 99 99 99 0 Stag 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