
About
INRIA (Institut National de Recherche en Informatique et en Automatique) is France's national research institute for digital science and technology, with a key role in quantum software, algorithms, and theoretical quantum computing research. It participates in France's EUR 1.8B Plan Quantique and contributes to the quantum software and algorithms layer of France's quantum technology stack. INRIA's quantum research covers quantum algorithm design and complexity, quantum programming languages and compilers, quantum error correction codes, quantum cryptography and post-quantum security, and hybrid quantum-classical algorithms. It hosts several quantum-focused research teams across its centres in Bordeaux, Grenoble, Lille, Paris, Rennes, Saclay, and Sophia Antipolis, and its quantum work connects closely with CEA, CNRS, and the major French universities. INRIA is a founding partner of the Paris Quantum Computing Institute and contributes to the EU Quantum Flagship's quantum software and algorithms workstreams. It has developed quantum software tools and libraries used by European quantum researchers, and it works on formal verification methods for quantum programs, an area where French researchers have made foundational contributions.
Quantum Specifications
| Quantum Focus | software |


