Unité de recherche

Laboratoire de l’Informatique du Parallélisme (LIP) – UMR 5668

Le Laboratoire de l’Informatique du Parallélisme est créé en 1988, en tant que laboratoire d’informatique de l’École Normale Supérieure de Lyon (ENS de Lyon). Il devient Unité de Recherche Associée CNRS-ENS en 1989, puis Unité Mixte de Recherche (UMR 5668) associée à l’Inria en 1999. L’Université Claude Bernard Lyon 1 devient à son tour partenaire du LIP en 2003.

Ainsi, le LIP est aujourd’hui une Unité Mixte de Recherche associant :

  • CNRS
  • ENS de Lyon
  • INRIA
  • Université Claude Bernard Lyon 1

Le projet du LIP s’inscrit dans l’étude du monde numérique futur et de ses fondements théoriques dans l’optique d’inventer de nouveaux concepts informatiques et d’anticiper leur répercussion sur les autres sciences.

L’informatique mathématique et l’algorithmique sont des thèmes partagés par tout le laboratoire.

Les recherches s’articulent autour de deux axes complémentaires et transverses :

  •  Défis des futures architectures de calcul et de communication : conception, utilisation et adéquation aux contraintes et besoins des applications.
  • Modèles et méthodes en informatique mathématique : aspects fondamentaux et contribution à l’algorithmique, au développement logiciel et matériel innovant et aux avancées technologiques.

COORDONNÉES

Adresse :
Laboratoire de l’Informatique du Parallélisme ENS de Lyon (Site Monod) 46 Allée d’Italie - 69364 Lyon - France
69364 Lyon - France
Mail :
lip@ens-lyon.fr

Organisation

Responsable(s)

Composition de l'équipe

Directeur : Patrick Baillot

Le LIP compte 133 membres, dont 57 chercheurs et enseignants-chercheurs et 49 doctorants, post-doctorants ou ATER.

Il est composé de 7 équipes de recherche :

  • Arithmétique et calcul
  • Algorithmes et architectures logicielles pour les plates-formes distribuées et à haute performance
  • Compilation, systèmes embarqués et calcul intensif
  • Réseaux dynamiques
  • Modèles de calcul, complexité et combinatoire
  • Théorie de la preuve et sémantique formelle
  • Optimisation des ressources : modèles, algorithmes et ordonnancement

Activités

Axe(s) de recherche

Informatique