Laboratoire de recherche en informatique
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir LRI.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/02/Circle-icons-computer.svg/35px-Circle-icons-computer.svg.png)
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
![Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.](http://upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/12px-Info_Simple.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a1/2017-fr.wp-orange-source.svg/45px-2017-fr.wp-orange-source.svg.png)
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
![](http://upload.wikimedia.org/wikipedia/fr/d/d8/LRI.jpg)
Fondation | ![]() |
---|---|
Dissolution | ![]() |
Sigle | LRI ![]() |
---|---|
Code | UMR 8623 |
Type | Laboratoire, unité mixte de recherche ![]() |
Domaine d'activité | Informatique |
Siège | |
Pays | ![]() ![]() |
Coordonnées | 48° 42′ 45″ N, 2° 10′ 06″ E |
Chercheurs | 110 |
---|---|
Doctorants | 90 |
Direction | Johanne Cohen |
Organisations mères | Université Paris-Sud (jusqu'au ) ComUE Université Paris-Saclay (d) (depuis ) CentraleSupélec Institut des sciences de l'information et de leurs interactions (d) Centre national de la recherche scientifique Inria ![]() |
Affiliation | Université Paris-Saclay URA 410 |
Site web | www.lri.fr ![]() |
![Carte](https://maps.wikimedia.org/img/osm-intl,13,48.712502,2.168395,280x280.png?lang=fr&domain=fr.wikipedia.org&title=Laboratoire_de_recherche_en_informatique&revid=199164315&groups=_7c9641e29939eeb8459d3995f7ce059120c8cae0)
modifier - modifier le code - modifier Wikidata
Le Laboratoire de recherche en informatique (LRI) était une unité mixte de recherche[1] (UMR 8623) d'informatique fondamentale et appliquée appartenant à l'université Paris-Saclay et au Centre national de la recherche scientifique (CNRS) dont le directeur était Yannis Manoussakis jusqu'au 31/12/2019 puis Johanne Cohen en 2020. Au , 7 équipes du LRI ont créé le Laboratoire interdisciplinaire des sciences du numérique (LISN) avec les équipes du LIMSI. La huitième équipe a rejoint les équipes du Laboratoire spécification et vérification pour créer le Laboratoire Méthodes Formelles (LMF).
Elle est rattachée à l'Institut des sciences informatiques et de leurs interactions (INS2I) du CNRS, au Département d'Informatique de l'université Paris-Saclay ainsi qu'au réseau thématique de recherche avancée Digiteo.
Au , le laboratoire comptait 240 membres dont 144 chercheurs et enseignants-chercheurs et 71 doctorants. Il était constitué de 8 équipes de recherche, assistées d'une équipe de support système et réseau et d'une équipe administrative. Le laboratoire occupe le bâtiment Ada Lovelace (650) au Pôle commun de recherche en informatique (PCRI) sur le campus Paris-Saclay ainsi que d'autres bâtiments annexes sur le campus d'Orsay.
La recherche
Les thèmes de recherche abordés par le LRI couvrent un large spectre de l'informatique : algorithmique, complexité, calcul quantique, théorie des graphes, fondements des communications, micro-architecture, clusters et grilles de calcul, génie logiciel, programmation, interaction homme-machine, bases de données, systèmes d'inférence, fouille de données, apprentissage et bio-informatique. En 2002, des chercheurs de quatre équipes ont décidé de créer un axe transversal sur la bio-informatique. Cet axe est désormais une équipe à part entière qui travaille sur des domaines comme l'apprentissage par machine et les algorithmes randomisés pour prédire l'information biologique pertinente dans les données génomiques.
Notes et références
- ↑ « Présentation du laboratoire de recherche en informatique », sur IRI.fr (consulté le )
Voir aussi
Bibliographie
- AÉRES, Laboratoire de Recherche en Informatique, rapport du comité d'experts, Gif-sur-Yvette, , 62 p. (lire en ligne)
Liens internes
- Université Paris-Saclay
- BOINC
- CDuce
- Coq
- Isabelle/HOL
Liens externes
- Site officiel
- Ressources relatives à la recherche
:
- Centre national de la recherche scientifique
- ScanR
- Notices d'autorité
:
- VIAF
- ISNI
- IdRef
- LCCN
- Israël
- WorldCat
- (fr) Site officiel de l'Université Paris-Saclay
v · m | |
---|---|
Universités | |
Campus universitaires | |
Écoles d’ingénieurs, de commerce, et normale |
|
Organismes et Instituts de recherche |
|
Voir aussi |
Portail de l’informatique