-
Partager cette page
Laboratoire de l’Informatique du Parallélisme (LIP) – CNRS UMR 5668
The Laboratoire de l’Informatique du Parallélisme (LIP) is the department of computer science of the École Normale Supérieure de Lyon (ENS de Lyon).
LIP became a CNRS-ENS joint research unit in 1989, and was later associated to INRA in 1999 (UMR 5668). In 2003, LIP was associated with University Claude Bernard Lyon 1
Areas of Research:
- Arithmetic and Computing
- Algorithms and Software Architectures for Distributed and HPC Platforms
- Compilation and Embedded Computing Systems
- Dynamic Networks
- Models of computation, Complexity and Combinatorics
- Proof theory and semantics
- Resource Optimization: Models, Algorithms and Scheduling
LIP’s research participates in tomorrow’s digital world and its fundamentals, in order to invent new computer concepts and anticipate their impact on other sciences.
Mathematical computer science and algorithmics are topics of interest to all.
Research focuses on two complementary and transverse areas:
- Challenges of future computing and communication architectures: design, use and adequacy constraints as well as application needs.
- Models and methods in mathematical computer science: fundamental aspects and contribution to algorithms, innovating software and hardware development, as well as to technological progress.
COORDONNÉES
- Address :
- Laboratoire de l’Informatique du Parallélisme
ENS de Lyon (Site Monod)
46 Allée d’Italie - 69364 Lyon - France
69364 Lyon - France - Phone :
- 33 (0)4 72 72 87 42
- Email :
- lip@ens-lyon.fr
Organization
Director(s)
- M. Nicolas Trotignon (SEO)
Staff
LIP Computer Science laboratory gathers 57 permanent faculties and researchers, 40-50 PhD students and over 20 scientists working on temporary positions. The administrative and technical staff gathers 12 engineers and assisting people.The lab is currently organized around 7 projects/teams, among which 5 are joint with INRIA :
- AriC (Arithmetic and Computing)
- Avalon (Algorithms and Software Architectures for Distributed and HPC Platforms)
- CASH (Compilation and Analysis, Software and Hardware)
- DANTE (Dynamic Network)
- MC2 (Models of computation, Complexity, Combinatorics)
- PLUME (Programs and proofs)
- ROMA (Resource Optimization : Models, Algorithms and Scheduling)
Activities
Research areas
InformatiquePublications
Affiliated institutions :
Authority :
CNRS, ENS de Lyon, INRIA, Université Lyon 1
Reference :
UMR 5668