Laboratoire bordelais de recherche en informatique
# Laboratoire bordelais de recherche en informatique

Le Laboratoire Bordelais de Recherche en Informatique (LaBRI) est une unité mixte de recherche du CNRS (UMR 5800) installée sur le domaine universitaire de Talence-Pessac-Gradignan. Rattaché à l'Université Bordeaux et à l'ENSEIRB, il dépend du département des sciences et technologies de l'information et ingénierie (ST2I).

En 2007, le LaBRI compte plus de 270 membres dont la moitié sont des chercheurs et des enseignants-chercheurs des quatre Universités de Bordeaux, du CNRS et de l'INRIA.

## Équipes de recherche

Les activités des membres du laboratoire relèvent principalement des 5 départements suivants :

* Combinatoire et Algorithmique
   * Combinatoire et Interactions
   * Graphes et Optimisation
   * Algorithmique Distribuée
* Image et son
   * MANIOC
   * Traitement et analyse de données
* Méthodes et Modèles Formels
   * Modèles et techniques pour la vérification
   * Raisonnement sur les données, les connaissances et les contraintes
   * Décision et apprentissage: de la théorie aux applications robotiques
* Systèmes et données
   * Programmation, réseaux et systèmes
   * Bench to KLnowledge and Beyond
* Supports et algorithmes pour les applications numériques hautes performances (SATANAS)
   * Algorithmique et applications hautes performances
   * Supports exécutifs hautes performances

Depuis son extension en 2005, le laboratoire occupe trois niveaux, pour une superficie de 5 000 $m^2.$

