|LIAFA (Laboratoire d'Informatique Algorithmique: Fondements et Applications) is one of the two research institutes in computer science of the University Paris Diderot - Paris 7 linked to CNRS (French National Center for Scientific Research).
The number of full-time members of LIAFA is sixty, including roughly 34 academics from university Paris Diderot, 24 CNRS researchers, and 2 INRIA researchers. The total number of LIAFA members, including PhD students, post-docs, administrative and technical staffs, and long-term visitors amounts to about 110 people.
Research at LIAFA is divided into five main areas :
The LIAFA is member of the Federation on Foundations of Computer Science in Paris Diderot, of the Mathematical Sciences Foundation of Paris, as well as the Paris Center Mathematical Research Federation. It is also associated with the Paris Center Mathematical Sciences Graduate School.
- Algorithms and complexity
- Automata and applications
- Distributed algorithms and graphs
- Modeling and verification