Page d'accueil du CNRS Page d'accueil de l'Université Paris Diderot Page d'accueil du LIAFA
LIAFA
Laboratoire d'Informatique Algorithmique: Fondements et Applications
CNRS et Université Paris Diderot
UMR 7089
   Staff      Contact      How to get to LIAFA      Teaching      Webmail   


Version fran├žaise




Page d'accueil de la Fédération de Recherche en Mathématiques de Paris Centre

Page d'accueil de la Fondation Sciences Mathématiques de Paris

Page d'accueil de Sciences En Marche
Research

The activities of LIAFA are organized into five main areas: algorithms and complexity, automata and applications, Combinatorics, distributed algorithms and graphs and modeling and verification.


  • Algorithms and complexity team works on the theory of efficient algorithms which is the common ground of research areas, in both classical computing and quantum computing.

  • Automata and applications team covers the fundamental aspects of automata theory, as well as algorithmic questions arising from concrete problems.

  • Combinatorics team focuses on enumerative combinatorics, bijective combinatorics and analytic combinatorics.

  • Distributed algorithms and graphs team mainly covers the research topics of distributed computing and graph algorithms.

  • Modeling and verification team address the development of algorithmic approaches to system verification, from theoretical foundations to innovative verification tools.

 
 ©  LIAFA 1995, Last updating: 2016, January webmestre[at]liafa.univ-paris-diderot.fr