LaBRI : Laboratoire Bordelais de Recherche en Informatique

Axes de Recherche et compétence

• Combinatoire et algorithmique : Combinatoire énumérative et algébrique, Graphes et optimisation, Algorithmique distribuée, etc.
• Image et son : Traitement et analyse d'image, Acquisition et rendu, Son et interaction, etc.
• Méthodes Formelles : Modélisation et vérification, Logiques, graphes et langages, etc.
• Modèles et Algorithmes pour la Bio-informatique et la Visualisation d'informations : Biologie computationnelle, Exploration Visuelle et Analytique de DOnnées MassivEs, etc.
• Programmation, réseaux et systèmes : QoS et sécurité dans les réseaux de nouvelle génération, Génie logiciel, etc.
• Supports et algorithmes pour les applications numériques hautes performances : Algorithmique et applications hautes performances, Supports exécutifs hautes performances, Phoenix, etc.

Equipements, ressources et techniques spécifiques

Logiciels

• Simbals : Mesure de similarité musicale
• InSpect : Analyse spectrale pour les sons numériques
• RetroSpat : Spatialisation de sources sonores
• Tulip : Visualisation d'information
• Middleware : Réseaux fortement mobiles ad hoc

Cellule de transfert

• LaBRI Transfert