INRIA Saclay - Île-de-France Research Centre

Research teams

Legend :

• Research-teams recognized as project-teams by INRIA

Theme Bio : Biological systems

• APIS - Analysis of irregular Processes, Images and Signal,applications in biology and medicine.
• DIGIPLANTE - Modelling plants growth and plants architecture
• GALEN - Organ Modeling through Extraction, Representation and Understanding of Medical Image Content
• PARIETAL - Modelling brain structure, function and variability based on high-field MRI data.

Theme Cog : Cognitive systems

• AVIZ - Analysis and Visualization
• IN-SITU - Situated interaction
• SELECT - Model selection in statistical learning
• TAO - Machine Learning and Optimisation

Theme Com : Communicating systems

• ALCHEMY - Architectures, Languages and Compilers to Harness the End of Moore Years
• ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
• COMETE - Concurrency, Mobility and Transactions
• HIPERCOM - High performance communication

Theme Num : Numerical systems

• ALIEN - Algebra for Digital Identification and Estimation
• COMMANDS - Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems
• DEFI - Shape reconstruction and identification
• GRAND-LARGE - Global parallel and distributed computing
• MAXPLUS - Max-plus algebras and mathematics of decision

Theme Sym : Symbolic systems

• DAHU - Verification in databases
• GEMO - Integration of data and knowledge distributed over the web
• GEOMETRICA - Geometric computing
• PARSIFAL - Proof search and reasoning with logic specifications
• PROVAL - Proofs of programs
• SECSI - Security of information systems
• TANC - Algorithmic number theory for cryptology
• TYPICAL - Types, Logic and computing