Le Laboratoire d'Informatique Algorithmique: Fondements et Applications (LIAFA) est une unité mixte de recherche (UMR 7089) du Centre National de la Recherche Scientifique (CNRS) et de l'Université Paris Diderot - Paris 7.

Créé en 1995, le LIAFA est l'un des deux laboratoires d'informatique de l'Université Paris 7. Ses thèmes de recherche sont l'algorithmique, la combinatoire, la théorie des automates, les événements discrets, la spécification et la vérification, domaines dans lesquels sa compétence est mondialement reconnue.

Le laboratoire a connu une très forte croissance depuis 2000, puisque le nombre de ses chercheurs permanents est passé de 23 à 41, soit une augmentation de près de 80%. Dans le même temps, le nombre de ses chercheurs CNRS a triplé. Le LIAFA compte à ce jour près de 70 personnes, dont une quarantaine de permanents d'une dizaine de nationalités différentes. Le LIAFA a de très nombreuses collaborations internationales, en particulier européennes, et reçoit chaque année des visiteurs du monde entier.

Le dynamisme, l'attractivité et le rayonnement du LIAFA ne sont pas le fruit du hasard:

- le LIAFA a toujours visé le plus haut niveau scientifique en matière de recherche;

- ses chercheurs participent à de nombreux programmes de recherche nationaux et internationaux. Ils jouent aussi un rôle majeur dans l'animation scientifique internationale (conférences, comités éditoriaux de revues, etc.);

- le LIAFA attache une très grande importance à la formation scientifique. Qu'ils soient issus du Master Parisien de Recherche en Informatique (MPRI), dans lequel interviennent de nombreux enseignants-chercheurs du LIAFA, ou qu'ils soient diplômés d'autres universités, les doctorants et post-doctorants du LIAFA se voient proposer un très large éventail de groupes de travail et de séminaires de recherche et l'accès à de nombreuses écoles thématiques, dont la célèbre Ecole de Printemps d'Informatique Théorique, dont la paternité revient à Maurice Nivat.

La forte croissance de nos effectifs fait de l'extension de nos locaux une nécessité absolue, qui ne peut attendre le déménagement sur le campus Paris Rive Gauche. C'est malheureusement aujourd'hui l'obstacle principal au développement de nos projets de recherche.

Michel Habib
Directeur du LIAFA