We are Quantum > → Inria Laboratories

Le French Quantum: list of Inria project teams

COSMIQ - The research work within the project-team is mostly devoted to the design and analysis of cryptographic algorithms, in the classical or in the quantum setting. It is especially motivated by the fact that the current situation of cryptography is rather fragile: many of the available symmetric and asymmetric primitives have been either threatened by recent progress in cryptanalysis or by the possible invention of a large quantum computer. Most of our work mixes fundamental aspects and practical aspects of information protection (cryptanalysis, design of algorithms, implementations).

MATHERIALS : Many macroscopic phenomena in physical and life sciences, as well as in most of the engineering disciplines, owe their origins to microscopic features of the system under consideration. A challenge is to link the models at the different scales, both from the mathematical viewpoint and the numerical viewpoint. Our group, originally only involved in electronic structure computations, continues to focus on many numerical issues in quantum chemistry, but now expands its expertise to cover several related problems at larger scales, such as molecular dynamics problems and multiscale problems. The mathematical derivation of continuum energies from quantum chemistry models is one instance of a long-term theoretical endeavour.

MOCQUA - The goal of the Mocqua team is to tackle challenges coming from the emergence of new or future computational models. Our team focuses on a few instances of this phenomenon: programs working with qubits (quantum computing), programs working with functions as inputs (higher-order computation) and programs working in infinite precision (real numbers, infinite sequences, streams, coinductive data, ...).

PHIQUS - Phiqus' goal is to develop novel computational paradigms operating on quantum information based on an understanding of the structure and specificities of computing, distributed and simulation problems. Our approach builds upon theories, concepts and methods issued from Computer Science, Physics, Mathematics, Convex Optimization and Machine Learning.

QAT-  We explore fundamental and theoretical questions about quantum architectures and applications, collaborating with experimental teams and seeking real-life impact. To this end, we focus on developing advanced theoretical tools that can help us understand the capabilities of quantum computers, improve their design for specific algorithms, and unlock new functionalities using quantum information processing. 

QINFO - QINFO focuses on quantum information. We develop methods and algorithms to optimally reduce the undesirable effect caused by noise on quantum information processing tasks. The team's research themes are characterization, certification and applications of noisy quantum devices, error correction methods for quantum information processing and new models and applications from fundamental approaches (quantum control, multipartite entanglement, ...

QUACS - Encoding information within quantum systems and manipulating them promises to lead to great advantages. To understand its strengths and limits, we take a transversal stance and by abstracting away physics’ ability we seek to compute, into formal models of quantum computation (e.g. quantum automata and graph rewriting models). We then verbalize its main structures as quantum programming languages (e.g. quantum lambda-calculus, process algebra). 

QUANTIC - The activities of the QUANTIC team are defined at the theoretical and experimental border of the emerging field of quantum engineering with an emphasis on the applications in quantum information, computation and communication. The main objective of this interdisciplinary team, formed by experimental physicists and applied mathematicians, is to develop both theoretical methods and experimental devices ensuring a robust processing of quantum information.

QURIOSITY - QURIOSITY’s ambition is to extend the application horizon of quantum information science by addressing novel questions positioned at the intersection between theoretical research in quantum information and the engineering of quantum devices, with a focus on approaches combining digital and quantum photonics technologies.