Equipe Logique, Informatique et Mathématiques Discrètes

Présentation

Le thème de recherche général de l’équipe est l’informatique mathématique, au sens du GDR Informatique Mathématique : l’équipe developpe donc des objets et méthodes mathématiques pour répondre à des problématiques issues des grandes questions informatiques.

L’équipe s’est construite à partir du thème historique de la logique et de la théorie de la démonstration, puis elle a évolué vers la thématique des mathématiques discrètes et de l’analyse géométrique pour l’imagerie, enfin elle s’est ouverte dans les dernières années à la théorie des langages de programmation, aux catégories, aux systèmes de numération, à la théorie des nombres et à la complexité algorithmique.

Il faut également noter qu’au sein du LAMA, l’équipe LIMD joue un rôle d’interface entre mathématiques et informatique, ce qui se traduit par diverses collaborations traversant les frontières des équipes aussi bien en mathématiques fondamentales qu’appliquées.

Membres

Abréviations
THES: doctorant·e
CR: chargé·e de recherche
PE: professeur·e émérite
PR: professeur·e
MCF: maitre·sse de conférences
DR: directeur·ice de recherche