Inria
Inria.fr
Inria Channel
Algorithmics, Programming, Software and Architecture
In today’s digital society, questions concerning the dependability and reliability of systems and software, data protection, security, authentication and certification have become crucial. Inria’s teams are working hard to develop methods and tools to address these issues.
Programs, Verification and Proofs
- ABSTRACTION - Abstract Interpretation and Static Analysis
- ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
- CARTE - Theoretical adverse computations, and safety
- CASSIS - Combination of approaches to the security of infinite states systems
- CELTIQUE - Software certification with semantic analysis
- COMETE - Concurrency, Mobility and Transactions
- CONTRAINTES - Constraint programming
- DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
- FORMES - Formal Methods for Embedded Systems
- GALLIUM - Programming languages, types, compilation and proofs
- MARELLE - Mathematical, Reasoning and Software
- MEXICO - Modeling and Exploitation of Interaction and Concurrency
- MOSCOVA - Mobililty, security, concurrence, verification and analysis
- PAREO - Formal islands: foundations and applications
- PARSIFAL - Proof search and reasoning with logic specifications
- PI.R2 - Design, study and implementation of languages for proofs and programs
- PROSECCO - Programming securely with cryptography
- SECSI - Security of information systems
- TASC - Theory, Algorithms and Systems for Constraints
- TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
- TYPICAL - Types, Logic and computing
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Algorithms, Certification, and Cryptography
- ALGORITHMS - Algorithms
- ARIC - Arithmétiques des ordinateurs, méthodes formelles, génération de code
- CARAMEL - Cryptology, Arithmetic: Hardware and Software
- CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
- CRYPT - Cryptanalyse
- GALAAD - Geometry, algebra, algorithms
- GEOMETRICA - Geometric computing
- GRACE - Geometry, arithmetic, algorithms, codes and encryption
- LFANT - Lithe and fast algorithmic number theory
- OURAGAN - OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs
- POLSYS - Polynomial Systems
- SECRET - Security, Cryptology and Transmissions
- VEGAS - Effective Geometric Algorithms for Surfaces and Visibility
Embedded and Real Time Systems
- AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
- CONVECS - Construction of verified concurrent systems
- DART - contributions of the Data parallelism to real time
- ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
- MUSYNC - Synchronous Realtime Processing and Programming of Music Signals
- PARKAS - Parallélisme de Kahn Synchrone
- POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
- S4 - System synthesis and supervision, scenarios
- TRIO - Real time and interoperability
- VERTECS - Verification models and techniques applied to testing and control of reactive systems
Architecture and Compiling
Search for a team
By field
- Applied Mathematics, Computation and Simulation
- Algorithmics, Programming, Software and Architecture
- Networks, Systems and Services, Distributed Computing
- Perception, Cognition, Interaction
- Computational Sciences for Biology, Medicine and the Environment
