LABORATOIRE INFORMATIQUE ET MATHÉMATIQUES | LIM - EA2525

EQUIPE IREMIA

  • Extraction de Connaissances à partir de Données
  • Ingénierie des Connaissances et Interaction Homme/Machine
  • Simulation et Analyse Numérique
  • Système Multi-Agents et Réseaux de Télécommunications
  • Vérification Statique de Programmes
  • Web Sémantique

EQUIPE ERMIT

  • Théorie des ensembles
  • Application des idées ensemblistes
  • Théorie de Ramsey
  • Mathématiques discrètes
  • Informatique théorique
  • Logique
  • Logique

EQUIPE EREDIM

  • Ethnomathématique des îles du Sud-Ouest de l'océan Indien
  • Prévention de l'illettrisme mathématique en milieu plurilingue
  • Histoire des méthodes et des instruments de calcul, avec applications à l'enseignement
  • Conception et expérimentation d'outils de formation utilisant le logiciel de géométrie dynamique CaRMetal
  • Apprentissage de la logique et de l'algorithmique à la charnière lycée-post-bac
  • Travail Collaboratif Assisté par Ordinateur (TCAO) en formation des enseignants

LES TRAVAUX DE RECHERCHE DE L'ÉQUIPE ERMIT

Cette équipe travaille dans les domaines des mathématiques discrètes, mathématiques pures et de l'informatique théorique sur des questions spécifiques aux mathématiques, ainsi que sur des problèmes des fondements de l'informatique.

Adrian Mathias est spécialiste de théorie des ensembles, qu'il considère comme l'étude des relations bien fondées. Il s'intéresse à la théorie de Ramsey, en particulier sous ses formes infinitaires, à l'Axiome de Détermination, aux diverses axiomatiques des mathématiques et aux applications des idées ensemblistes aux systèmes dynamiques.

Marianne Morillon s'intéresse actuellement aux propriétés des espaces de Banach dans la théorie des ensembles sans Axiome du Choix : diverses notions de réflexivité et de super-réflexivité, extensions du "sup théorème" de James, preuves géométriques de la propriété de Hahn-Banach.

Serge Burckel travaille en théorie des tresses et des noeuds avec une approche combinatoire et algorithmique. Il a plus particulièrement étudié un bon ordre sur les tresses positives via des représentations par arbre. Il travaille aussi sur des questions de décidabilité en arithmétique. Il a également introduit une décomposition des fonctions booléennes adaptée à des calculs minimaux en écriture.

Christian Delhommé travaille en théorie des relations.

Dominique Castella : Théorie des anneaux, en particulier applications des algèbres de groupes et des polynômes de Ore. Algèbre tropicale : travail en cours  sur le cadre algébrique de la géométrie tropicale, des algèbres de type max-plus et plus généralement des semi-anneaux idempotents. 

Marc de Crisenoy : théorie analytique des nombres. Il travaille plus particulièrement sur les séries de Dirichlet associées à des polynômes de plusieurs variables et sur les formes modulaires.

LES TRAVAUX DE RECHERCHE DE L'ÉQUIPE IREMIA

  • ECD : Extraction de Connaissances à partir de Données
  • IC-IHM : Ingénierie des Connaissances et Interaction Homme-Machine
  • SMART : Système Multi-Agents et Réseaux de Télécommunication
  • VESPA : VErification Statique de ProgrAmmes
  • WS : Web sémantique

LES TRAVAUX DE RECHERCHE DE L'ÉQUIPE EREDIM

Les recherches de l'EREDIM sont étroitement liées à celles de l'IREM de la Réunion. Voir le site de l'IREM

    LIM

     

    + D'INFOS 

    Jean DIATTA, Pr
    Directeur du Laboratoire

    Tel : +262 (0)262 483 318

     

     

    LIM (web)

    Master d'Informatique 
    Master de Mathematiques

     

     

     

    Parc Technologique Universitaire
    Bâtiment 2
    2, rue Joseph Wetzell
    97490 Sainte-Clotilde

    T +262 (0)262 483 395 
    F +262 (0)262 483 391

     

     

     


    Faculté des Sciences et Technologies

    15 Avenue René Cassin 
    CS 92003 
    97744 ST DENIS CEDEX 9 
    Bâtiment S1 
    Tél : +262(0)262 93 81 81

    Laboratoire d'Informatique et de Mathématiques

    Le LIM est composé de 3 équipes :

    • Équipe de Recherche en Mathématiques et Informatique Appliquées (IREMIA)
    • Équipe Réunionnaise de Mathématiques et d'Informatique Théorique (ERMIT)
    • Equipe Réunionnaise d'Epistémologie et de Didactique de l'Informatique et des Mathématiques (EREDIM)