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), ainsi que par 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 algèbre et géométrie tropicales (dite également algèbre max-plus), 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).