Team Logic, Computer Science, and Discrete Mathematics

Presentation

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.

Members

Abbreviations
PR: professor
DR: research director
CR: researcher
PE: emeritus professor
MCF: assistant professor
PHD: PhD student