Quantum Information & Software

New quantum methods for the manipulation, processing and transfer of information.

This axis gathers our expertise in quantum algorithms (computational models and quantum walks), quantum information theory (random matrices, error-correcting codes), quantum communication theory (cryptography and quantum networks), quantum certification (certification of quantum states, automated reasoning, verification, formal methods, protocol certification, graph rewriting), foundations of quantum theory (non-locality, causality, quantum contextuality), mathematical tools (convex optimization, classical machine learning, topological fields).

Contact people: Cyril Branciard, Cécilia Lancien

Published on  September 3, 2021
Updated on October 4, 2023