Accueil
> Thèmes de recherche
Présentation
Thèmes de recherche
Equipes
Projets associés
Thèmes
Collaborations
Production
Travailler au LRI
Formation
Informations pratiques
[connexion sécurisée]
Les équipes de recherche
°
A&O - Apprentissage et Optimisation
°
Admin - Equipe Administrative
°
Algo - Algorithmique et Complexité
°
Archi - Architectures parallèles
°
BD - Bases de Données
°
BioInfo - Bioinformatique
°
ForTesSE - Test Formel et Exploration de Systèmes
°
GraphComb - Théorie des Graphes et Optimisation Combinatoire
°
IASI - Intelligence Artificielle et Systèmes d'Inférence
°
IN SITU - INteraction SITUée
°
Parall - Parallélisme
°
Proval - Preuve de programmes
°
Réseaux - Réseaux
°
Staff - Support Système et Réseaux
> toutes les équipes
Les projets associés
°
AMIB - INRIA
°
Grand Large - INRIA
°
In Situ - INRIA
°
LEO - INRIA
°
ProVal - INRIA
°
TAO - INRIA
> tous les projets
Thèmes
°
Algorithmique
°
Algorithmique répartie
°
Apprentissage
°
Architecture
°
Bases de données
°
Bioinformatique
°
Calcul haute performance
°
Calcul parallèle
°
Calcul quantique
°
Clusters et Grilles
°
Combinatoire
°
Communication médiatisée
°
Compilation
°
Complexité
°
Conception et évaluation des systèmes interactifs
°
Dynamique symbolique
°
Intelligence Artificielle
°
Interaction Homme-Machine
°
Langages centrés données
°
Logique
°
Méthodes Formelles de Génie Logiciel
°
Modélisation
°
Network Coding
°
Optimisation
°
Optimisation combinatoire
°
Pair Ă Pair
°
Programmation
°
Réseaux
°
Réseaux de communication
°
Robotique
°
sécurité
°
Systèmes de gestion de contenu
°
Théorie de la cryptographie
°
Théorie des graphes
°
Théorie des jeux
°
Tolerance aux pannes
°
Vérification
°
Visualisation interactive d'information
°
XML
> tous les sous-thèmes