Algorithmique, programmation, logiciels et architectures
Dans la société numérique actuelle, les questions de sûreté et fiabilité des systèmes et des logiciels, de protection de données, de sécurité, d'authentification ou de certification sont devenues cruciales. Les équipes de l'INRIA s'attèlent à développer des méthodes et des outils pour y répondre.
Programmation, vérification et preuves
- ABSTRACTION - Interprétation abstraite et analyse statique
- ATEAMS - Analyse et Transformation a base des composition fideles des outils
- CARTE - Théorie des calculs adverses, et sécurité
- CASSIS - Combinaison d'approches pour la sécurité des systèmes infinis
- CELTIQUE - Certification de logiciel par analyse sémantique
- COMETE - Concurrence, Mobilité et Transactions
- 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
- MARELLE - Mathématiques, Raisonnement et Logiciel
- MEXICO - Modeling and Exploitation of Interaction and Concurrency
- MOSCOVA - Mobilité, sécurité, concurrence, vérification et analyse
- PAREO - Ilôts formels: fondements et applications
- PARSIFAL - Recherche de preuve et raisonnement sur des spécifications logiques
- PI.R2 - Conception, étude et implémentation de langages pour les preuves et les programmes
- PROSECCO - Programming securely with cryptography
- SECSI - Sécurité des systèmes d'information
- TASC - Theory, Algorithms and Systems for Constraints
- TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
- TYPICAL - Types, logique et calcul
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Rechercher une équipe
Par centre de recherche Inria
Par domaine
- Mathématiques appliquées, calcul et simulation
- Algorithmique, programmation, logiciels et architectures
- Réseaux, systèmes et services, calcul distribué
- Perception, cognition, interaction
- STIC pour les sciences de la vie et de l'environnement
Inria
Inria.fr
Inria Channel
