Pole: Algorithms and Combinatorics
En informatique, les structures discrètes et combinatoires permettent de modéliser de nombreux objets : réseaux, bases de données, tableaux, images, Web services... Ce pôle réunit des équipes qui cherchent à comprendre les propriétés fondamentales qui régissent ces structures, pour ensuite concevoir et analyser des algorithmes sur ces mêmes objets. Les recherches de ce pôle sont à la fois structurelles (existence de propriétés combinatoires, énumération, construction de nouveaux modèles discrets) et algorithmiques (calcul de complexité théorique, algorithmes exacts et approchés, algorithmes distribués, vérification et preuves formelles).