LaBRI - Laboratoire Bordelais de Recherche en Informatique


	Laboratoire Bordelais de Recherche en Informatique (UMR 5800)

Teams

The members of the LaBRI are divided into six teams :

Combinatorics and Algorithms
Image and Sound
Formal Methods
- Modelling and verification
- Logics, graphs and languages
Models and Algorithms for Bio-informatics and Information Visualisation
- Computationnal Biology
- Visual and Analytical Exploration of Massive Data
Programming, Networks and Systems
- QoS and security in new generation networks
- Software engineering
Supports and Algorithms for High Performance Numerical Applications
- High performance algorithms and applications
- High performance executive supports

Page mise à jour le 16/11/2018 à 15:07