Inria
Inria.fr
Inria Channel
Zoom
© Inria / Photo S. Tetu - La Company
Comme souvent en informatique, les recherches fondamentales et appliquées sont proches et se nourrissent mutuellement.
Demi-heure de science
La "Demi-heure de science" fait suite au colloquium "Le modèle & l'algorithme". Il s'agit de conférences scientifiques qui présentent les résultats de la recherche du centre Inria Paris-Rocquencourt sur un thème, un domaine, ses intérêts et les questions qui s'y rapportent.
Défis scientifiques
© Inria / Photo Kaksonen
Contribuer à trois grandes thématiques
- Réseaux et systèmes de communication - Conception et optimisation d’infrastructures pour le web, les réseaux mobiles...
- Logiciels fiables et sécurité - Mise au point de logiciels de qualité nécessaires à notre quotidien.
- Modélisation du vivant et de l'environnement - Modélisation et simulation d’organes et d’ensembles cellulaires...
Partenariats
© Inria / Photo Kaksonen
Développer ensemble la recherche
Le centre de recherche Inria Paris - Rocquencourt conduit son développement en étroit partenariat avec les universités, les grandes écoles, les écoles d'ingénieurs et les organismes de recherche de la région.
La science pour tous
Promouvoir le goût des sciences
Les chercheurs de l’Inria s’investissent chaque année dans des actions de diffusion de la culture scientifique auprès des professeurs, des élèves et du grand public.
Afin de toucher tous ces publics, les deux centres d’Île-de-France ont initié, en 2004, un partenariat avec l’académie de Versailles afin de susciter de l’intérêt pour les sciences numériques chez les collégiens et lycéens. Cette démarche a ensuite été étendue aux académies de Créteil et de Paris.
Nos équipes de recherche
Mathématiques appliquées, calcul et simulation
Modèles et méthodes stochastiques
Modélisation, simulation et analyse numérique
- CAD - Computer Aided Design
- GAMMA3 - Génération automatique de maillages et méthodes avancées
- MICMAC - Méthodes et ingénierie du calcul multi-échelle de l'atome au continuum
Optimisation, apprentissage et méthodes statistiques
Algorithmique, programmation, logiciels et architectures
Programmation, vérification et preuves
- ABSTRACTION - Interprétation abstraite et analyse statique
- CONTRAINTES - Programmation par contraintes
- DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
- FORMES - Méthodes Formelles pour les Systèmes Embarqués
- GALLIUM - Langages de programmation, types, compilation et preuves
- MOSCOVA - Mobilité, sécurité, concurrence, vérification et analyse
- PI.R2 - Conception, étude et implémentation de langages pour les preuves et les programmes
- PROSECCO - Programming securely with cryptography
Algorithmique, calcul certifié et cryptographie
- ALGORITHMS - Algorithmes
- CASCADE - Conception et Analyse de Systèmes pour la Confidentialité et l'Authentification de Données et d'Entités
- CRYPT - Cryptanalyse
- OURAGAN - OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs
- POLSYS - Polynomial Systems
- SECRET - Sécurité, Cryptologie et Transmissions
Systèmes embarqués et temps réel
Réseaux, systèmes et services, calcul distribué
Réseaux et télécommunications
- GANG - Réseaux, graphes et algorithmes
- HIPERCOM - Communication hautes performances
- RAP - Réseaux, algorithmes et probabilités
- TREC - Théorie des réseaux et communications
Systèmes et services distribués
Perception, cognition, interaction
Vision, Perception et interprétation multimédia
- IMEDIA2 - Images et multimédia : indexation, navigation et recherche
- WILLOW - modèles de la reconnaissance visuelle d'objets et de scènes
Représentation et traitement des données et des connaissances
- AXIS - Conception, analyse et amélioration de systèmes d'informations dirigées par les usages
- SMIS - Systèmes d'informations sécurisés et mobiles
Robotique
Langue, parole et audio
STIC pour les sciences de la vie et de l'environnement
Observation et modélisation pour les sciences de l'environnement
- ANGE - Analyse Numérique, Géophysique et Ecologie
- CLIME - Couplage de la donnée environnementale et des modèles de simulation numérique pour une intégration logicielle
- POMDAPI - Modélisation pour l'environnement, optimisation et modèles de programmation
Observation, modélisation et commande pour le vivant
- BANG - Analyse numérique de modèles non linéaires pour la Bio et Géophysique
- REO - Simulation numérique d'écoulements biologiques
- SISYPHE - SIgnaux et systèmes en PHysiologie et ingénieriE
