Laboratoire d'informatique algorithmique: fondements et applications

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
LIAFA
Domaines Mathématiques et informatique fondamentale
Directeur Pierre Fraigniaud
Effectif total 94[1]
Rattachement Université Paris Diderot et CNRS
Code UMR 7089
Localisation
Ville Paris
Pays Drapeau de la France France
Site web http://www.liafa.univ-paris-diderot.fr

Le Laboratoire d'informatique algorithmique: fondements et applications (LIAFA), autrefois Laboratoire d'informatique théorique et programmation (LITP), est une unité mixte de recherche (UMR 7089) de l'université Paris Diderot et du Centre national de la recherche scientifique dont le directeur est Pierre Fraigniaud. Le laboratoire est une composante de la Fondation « Sciences Mathématiques de Paris », créée en décembre 2006.

Thématiques[modifier | modifier le code]

Les principaux thèmes de recherche du laboratoire axées autour des mathématiques et de l'informatique fondamentale, regroupent de nombreux domaines, tels que l'algorithmique, la combinatoire, la théorie des graphes, la théorie des automates, les évènements discrets, la théorie des jeux, la spécification et la vérification ou encore les algorithmes distribués.

Activité[modifier | modifier le code]

L'activité scientifique durant la période 2003-2007 de ce laboratoire en fait l'un des principaux laboratoires d'informatique théorique en France, comme en témoigne ses :

  • 160 publications dans des revues d'audience internationale
  • 186 publications dans des conférences d'audience internationale
  • 11 chapitres d'ouvrages
  • 40 thèses soutenues ou en cours
  • 4 habilitations à diriger des recherches (habilitation universitaire)

En janvier 2014, le laboratoire compte un effectif total de 60 permanents au sein de ses équipes[1]. Le laboratoire est représenté dans de très nombreux comités de programme de conférences internationales et même dans de nombreux journaux scientifiques (Discrete Mathematics and Theoretical Computer Science, Fundamenta Informaticae, Informatique Théorique et Applications, International Journal of Algebra and Computation, Information Processing Letters, Journal on Automata, Languages and Combinatorics, Semigroup Forum, Theoretical Computer Science).

Voir aussi[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

  • Jean-Éric Pin, Laboratoire d'Informatique Algorithmique: Fondements et Applications, rapport d'activité, Paris,‎ , 124 p. (lire en ligne)
  • AÉRES, Laboratoire d'Informatique Algorithmique: Fondements et Applications, rapport du comité d'experts,‎ , 10 p. (lire en ligne)

Liens internes[modifier | modifier le code]

Liens externes[modifier | modifier le code]

Notes et références[modifier | modifier le code]

  1. a et b CNRS, « Description administrative de l'UMR 7089 », sur https://web-ast.dsi.cnrs.fr,‎ (consulté le 6 mars 2014)