GDR IM | Informatique Mathématique

Le GDR (Groupement de Recherche) Informatique Mathématique, dit IM, a été créé début 2006. Il a été renouvelé en 2010, 2014 et 2019. C’est une structure propre du CNRS (GDR n° 673), rattachée principalement à l’INS2I et secondairement à l’INSMI.

Dans l’informatique mathématique, c’est l’informatique qui apporte en premier lieu ses problèmes, ses objets, ses motivations. Mais l’outil et les méthodes mathématiques s’avèrent essentiels dans la modélisation et la résolution de ces problèmes, souvent même incontournables. L’informatique mathématique intervient dans les principaux domaines suivants :

Algorithmique de domaines mathématiques : calcul formel, calcul arithmétique, géométrie.
Algorithmique sur des objets informatiques : mots, graphes, arbres, automates.
Efficacité : évaluation de performances des systèmes informatiques, analyse d’algorithmes.
Complexité et calculabilité : difficulté des problèmes, transitions de phases, liens avec la logique.
Preuve : logique, certification de logiciels, preuves de programmes.
Modèles et systèmes discrets : combinatoire, aléa, dynamique et complexité.
Il existe aussi des thèmes transverses à ce découpage, comme, par exemple, les thèmes de la sécurité mathématique (codage, cryptographie, vérification logicielle).

Le GDR IM est structuré en 19 groupes de travail, dont certains communs avec d’autres GDR. Il s’est récemment doté d’un Conseil Scientifique. Au dernier recensement (effectué début 2018), il comptait environ 2460 membres (1490 membres permanents, 722 doctorants, et environ 250 post-doctorants). Les membres permanents du GDR sont répartis dans plus de 100 unités (laboratoires ou centres de recherches).

Le GDR IM est tout particulièrement attentif à la formation continue de ses membres, en particulier des plus jeunes. Il l’assure entre autres à travers l’organisation de Journées Nationales et d’une École Jeunes Chercheuses/Jeunes Chercheurs.