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

Dogukan Bakircioglu
Marin Costes
Kinnari Vijay Dave
Julien Lamiroy
Thea Li
Octave Mestoudjian
Jérôme Ricciardi

Postdocs

Research Engineers

Michel Nollis

Past Members

Permanent

Esteban Castro

PhD Students

Agustin Borgna
Kostia Chardonnet
Amelia Durbec
Nathanaël Eon
Dong-Ho Lee
Louis Lemonnier

Postdocs

Titouan Carette
Augustin Vanrietvelde

Visitors

Luidnel Maignan

Research Engineers

Mathieu Nguyen

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
2021-2024

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

Aero-Qat

Accélération de la simulation électromagnétique pour équipements aéroportés sur des architectures quantiques résilientes aux erreurs
BPI i-Demo project
2023-2027

Events

Find our weekly events on our calendar.

Upcoming events:

Past events:

Quantum Physics and Logics (QPL) 2023

Paris, 17 - 21 July 2023
Official Website

Publications on HAL

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