Inria
Inria.fr
Inria Channel
Scientific challenges
Our challenges
- Cognition: perception, language and knowledge
- Simulation, optimisation and control of complex systems
- Safety and security of computer systems
Roles we offer
Training through research
Are you a secondary school or university student? Are you a PhD student or post-doctoral researcher in information and communication science and technologies? Inria Nancy - Grand-Est can offer you a framework for study and excellent working conditions.
Educational actions
Discover computer science research
Our Centre conducts numerous scientific awareness actions aimed at young people and the general public. The objective is to promote the understanding and appropriation of scientific knowledge by a wide audience.
Find a team
Applied Mathematics, Computation and Simulation
Stochastic Methods and Models
Computational models and simulation
Modeling, Optimization, and Control of Dynamic Systems
Algorithmics, Programming, Software and Architecture
Programs, Verification and Proofs
- CARTE - Theoretical adverse computations, and safety
- CASSIS - Combination of approaches to the security of infinite states systems
- PAREO - Formal islands: foundations and applications
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Algorithms, Certification, and Cryptography
- CARAMEL - Cryptology, Arithmetic: Hardware and Software
- VEGAS - Effective Geometric Algorithms for Surfaces and Visibility
Embedded and Real Time Systems
Architecture and Compiling
Networks, Systems and Services, Distributed Computing
Networks and Telecommunications
Distributed Systems and Services
Distributed and High Performance Computing
Perception, Cognition, Interaction
Vision, Perception and Multimedia Understanding
Interaction and Visualization
Knowledge and Data Representation and Management
Audio, Speech, and Language Processing
Computational Sciences for Biology, Medicine and the Environment
Observation, Modeling, and Control for Life Sciences
- BIGS - Biology, genetics and statistics
- MASAIE - Tools and models of nonlinear control theory for epidemiology and immunology
