Les recherches du LIAFA se regroupent en 5 grands domaines: algorithmes et complexité, algorithmique distribuée et graphes, automates et applications, combinatoire et modélisation et vérification.

• L'équipe Algorithmes et complexité travaille sur la théorie des algorithmes efficaces qui est le socle commun des axes de recherche, à la fois en calcul classique et quantique.


• L'équipe Algorithmique distribuée et graphes couvre principalement les thématiques d'algorithmique distribuée et d'algorithmique des graphes.


• L'équipe Automates et applications s'intéresse aux recherches qui portent d'une part sur les questions fondamentales de la théorie des automates et d'autre part sur les questions algorithmiques issues de problèmes concrets.


• L'équipe Combinatoire se concentre sur la combinatoire énumérative, la combinatoire bijective et la combinatoire analytique.


• L'équipe Modélisation et vérification porte ses activités sur le développement d'approches algorithmiques pour la vérification de systèmes, des fondements théoriques aux outils de vérification innovants.