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
- 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
- SPECFUN - Symbolic Special Functions : Fast and Certified
- SUMO - SUpervision of large MOdular and distributed systems
- TASC - Theory, Algorithms and Systems for Constraints
- TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Algorithms, Certification, and Cryptography
- ARIC - Arithmetic and Computing
- 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
- DREAMPAL - Dynamic Reconfigurable Massively Parallel Architectures and Languages
- ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
- MUTANT - Synchronous Realtime Processing and Programming of Music Signals
- PARKAS - Parallélisme de Kahn Synchrone
- S4 - System synthesis and supervision, scenarios
- SPADES - Sound Programming of Adaptive Dependable Embedded Systems
- TRIO - Real time and interoperability
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
