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.
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.
Christian Delhommé travaille en théorie des relations.
Marion Le Gonidec : Combinatoire des mots, numération et arithmétique. Plus particulièrement, côté combinatoire, sur les extensions de la notion de mot automatique utilisant des graphes et des machines infinies (étude combinatoire et complexité factorielle, dynamique symbolique associée...). Côté numération, sur les systèmes de numérations abstraits (représentation des entiers et des réels). Côté arithmétique, à propos de certaines propriétés algébriques de nombres réels engendrés algorithmiquement (conjecture d'Hartmanis et Stearns).
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.
Patricia Spinelli Théorie du contrôle optimal et ce que peut apporter l'utilisation de l'Analyse Non Standard dans ce domaine. Théorie des jeux: décomposition modulaire, équilibres de Nash et valeurs de jeux associés à des matrices (éventuellement infinies).
Anciens membres d'ERMIT.
la dynamique symbolique: théorie des attaques.
Modèles de calculs des programmes.
Algorithmique et arithmétique.
Université de la Réunion, Département de Mathématiques et Informatique,
Pôle technologique Universitaire (PTU), Bâtiment no 2, 2 rue Joseph Wetzell, 97490 Sainte-Clotilde (FRANCE).
secrétariat du Département de Math-Info: +262 262 483395
FAX : +262 262 483391