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

Last name First name Status Phone Office
Al Akkari Noura PHD INES
Armand Jules PHD email 70 27 20b
Barszezak Yoann PHD email 70 27 20b
Bonnet Robert PE email None None
Borthelle Peio PHD web email 70 95 20
Breuils Stéphane MCF web email 87 32 128
Cardenas Carlos PHD INES
Gledel Valentin MCF web email 86 92 24
Hirschowitz Tom DR web email 94 36 23
Hyvernat Pierre MCF web email 94 22 17
Lachaud Jacques-Olivier PR web email 86 42 104
Mukherjee Srijani PHD email None INES
Mustatea Sorina PHD INES
Nour Karim MCF web email 86 27 127
Tavenas Sébastien CR web email 94 35 103
Vuillon Laurent PR web email 87 33 126
Weill-Duflos Colin PHD 70 27 20b
Worytkiewicz Krzysztof PR email 87 19 119
Abbreviations
MCF: assistant professor
PR: professor
CR: researcher
DR: research director
PE: emeritus professor
PHD: PhD student