Home
> Research themes
About LRI
Research themes
Research groups
Joint research groups
Keywords
Collaborations
Research results
Open positions
Teaching
Useful informations
Research groups
°
A&O - Learning and Optimisation Group
°
Admin
°
Alchemy - Parallel Architecture
°
Algo - Algorithms and Complexity
°
BD - Databases Group
°
BioInfo - Bioinformatics Group
°
ForTesSE - Formal Testing and System Exploration
°
GraphComb - Graph Theory and Combinatorial Optimization
°
HIPERCOM - Networking
°
IASI - Artificial Intelligence and Inference Systems
°
IN SITU - Situated Interaction
°
Parall - Parallelism
°
Proval - Proofs and Programs
°
Staff - Computer and Network systems staff
> all research groups
Joint research groups
°
Alchemy
°
Algorithms and Models for Integrative Biology
°
Grand Large
°
HIPERCOM
°
In Situ
°
LEO
°
ProVal
°
TAO
> more joint research groups
Keywords
°
°
°
Algorithms
°
Architecture
°
Artificial Intelligence
°
Bioinformatics
°
Clusters and Grid
°
Combinatorial optimization
°
Combinatory
°
Communication networks
°
Compilation
°
Complexity
°
Content management
°
Databases
°
Design
°
Design and Evaluation of Interactive Systems
°
Distributed algorithms
°
Dynamique symbolique
°
Fault Tolerance
°
Formal Methods for Software Engineering
°
Game theory
°
Graph Theory
°
High Performance Computing
°
Human-Computer Interaction
°
Information Visualization
°
Languages and systems for databases - Internet programming
°
Logic
°
Machine learning
°
Mediated Communication
°
Networks
°
Optimization
°
parallel computing
°
Peer to peer
°
Programming
°
Quantum computation
°
Robotics
°
Theoretical cryptography
°
Verification
°
XML
> more keywords
CNRS
Alain Fuchs has been appointed as the new president of CNRS.