Mathématiques
Fondements des Mathématiques et analyse
Ce thème regroupe les recherches de l’équipe portant sur les fondements des mathématiques et l’analyse.
Les recherches développées dans le cadre de ce thème vont de la philosophie des mathématiques à la théorie des jeux et la théorie analytique des nombres, en passant par la théorie des ensembles (et en particulier le développement et l’étude de systèmes faibles de la théorie des ensembles), la logique catégorique et la théorie des topos, ainsi que l’étude du rôle de l’Axiome du choix dans diverses branches des mathématiques (et notamment en analyse fonctionnelle).
Mathématiques discrètes
Ce thème regroupe les recherches de l’équipe en mathématiques discrètes.
On y développe des travaux en théorie des graphes et reconstruction, en arithmétique et combinatoire (et en particulier on s’intéresse à la description de structures ou de nombres réels à l’aide d’automates), en théorie des relations (notamment des ensembles ordonnés), et en algorithmique (avec un intérêt particulier pour le calcul sans mémoire).