-
Recherche
- Présentation
- Trimestres et mois thématiques
- Evénements scientifiques
-
Chercheurs invités
- Chercheurs invités 2021
- Chercheurs invités 2022
- Chercheurs invités 2023
-
Post-doctorants Milyon
- Post-doctorants 2022
- Post-doctorants 2023
- Publications
- Prix, honneurs, bourses de recherche
- Portraits de chercheurs
- Formation
- Médiation
- Entreprise
- Appels à candidature
- Contacts
-
Partager cette page
Unité de recherche
Laboratoire de l’Informatique du Parallélisme (LIP) – UMR CNRS 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)
- M. Nicolas Trotignon (Directeur)
Composition de l'équipe
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