Thèmes de recherche

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