Quantum Information & Software

Info soft
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).

Published on  September 3, 2021
Updated on January 24, 2022