Défis scientifiques
Nos défis
- Cognition : perception, langue et connaissance
- Simulation, optimisation et contrôle des systèmes complexes
- Sûreté et sécurité des systèmes informatiques
Nos métiers
Formation par la recherche
Vous êtes lycéens ou étudiants ? Vous êtes doctorants ou post-doctorants en sciences et techniques de l’information et de la communication ? L’Inria Nancy - Grand Est vous propose un cadre d’études et des conditions de travail de qualité.
Actions pédagogiques
Découvrez la recherche en informatique
Notre Centre développe de multiples actions de culture scientifique à destination des jeunes et du grand public. Objectif : favoriser la compréhension des connaissances scientifiques et leur appropriation par un large public.
Nos équipes de recherche
Mathématiques appliquées, calcul et simulation
Modèles et méthodes stochastiques
Modélisation, simulation et analyse numérique
Modélisation, optimisation et contrôle de systèmes dynamiques
Algorithmique, programmation, logiciels et architectures
Programmation, vérification et preuves
- CARTE - Théorie des calculs adverses, et sécurité
- CASSIS - Combinaison d'approches pour la sécurité des systèmes infinis
- PAREO - Ilôts formels: fondements et applications
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Algorithmique, calcul certifié et cryptographie
- CARAMEL - Cryptologie, Arithmétique : Matériel et Logiciel
- VEGAS - Algorithmes géométriques effectifs pour la visibilité et les surfaces
Systèmes embarqués et temps réel
Architecture et compilation
Réseaux, systèmes et services, calcul distribué
Réseaux et télécommunications
Systèmes et services distribués
Calcul distribué et applications à très haute performance
Perception, cognition, interaction
Vision, Perception et interprétation multimédia
Interaction et visualisation
Représentation et traitement des données et des connaissances
Langue, parole et audio
STIC pour les sciences de la vie et de l'environnement
Observation, modélisation et commande pour le vivant
- BIGS - Biologie, génétique et statistiques
- MASAIE - Outils et modèles de théorie du contrôle non-linéaire pour l'épidémiologie et l'immunologie
Inria
Inria.fr
Inria Channel
