Le Laboratoire d'Informatique Algorithmique: Fondements et Applications (LIAFA) est l'un des deux laboratoires d'informatique de l'Université Paris Diderot - Paris 7 et est une unité mixte de recherche du CNRS. Il se compose de 5 thèmes de recherche : Algorithmes et complexité Algorithmique distribuée et graphes Automates et applications Combinatoire Modélisation et vérification Comité de directionLIAFAService administratifAlgorithmes et complexitéAlgorithmique distribuée et graphesAutomates et applicationsCombinatoireModélisation et vérificationService informatique
Il se compose de 5 thèmes de recherche :