Quantum Computation Structures

Overview

Encoding information within quantum systems and manipulating them promises to lead to great advantages, with three main application domains: quantum cryptography, quantum simulation, and quantum algorithmics. To understand its strengths and limits, we take a transversal stance and seek to capture which resources are granted to us by nature, at the fundamental level, for the sake of computing (e.g. quantum & spatial parallelism).

We do so by abstracting away physics’ ability 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). Actually, the process goes both ways, when developments in quantum programming languages lead to the discovery of new structures which may or may not be compilable into formal models of quantum computation, raising the sometimes fascinating question of the physicality of these resources.

Members

Permanent

PhD Students

Marin Costes

Nicolas Heurtel

Vijay Dave Kinnari

Jérôme Ricciardi

PostDoc

Augustin Vanrietvelde

Visiteurs

Projects involving QuaCS

TaQC

Taming Quantum Causality
ANR
2023-2027

QISS

The Quantum Information Structure of Spacetime
John Templeton grant
2023-2026

EQIP

Engineering for Quantum Information Processors
Inria Challenge project
???-???

EPIQ

Etude de la pile quantique
PEPR project
2022-2027

HPCQS

High Performance Computer – Quantum Simulator hybrid
EuroHPC project
2021-2024

HQI

Hybrid HPC-Quantum platform and a research program
National Quantum Plan project
2022-2027

Events

Find our weekly events on our calendar.

Upcoming events:

Quantum Physics and Logics (QPL) 2023

Paris, 17 - 21 July 2023
Official Website

Past events:

Publications on HAL

  • (), In , (editors), p. , , , , , , , . .
    [URL] [PDF]