| Contact principal : | Simon Perdrix |  |
| Autres contacts : | Emmanuel Jeandel | |
| Luc Sanselme | |
Description des activités de recherche :
We are members of the Inria Project Team CARTE at LORIA, interest in Quantum Computation and Information.
Our main focus is on studying models of quantum computation : measurement-based quantum computation, quantum cellular automata, formal models and abstract machines for QC (e.g., measurement calculus, quantum Turing machines, quantum lambda calculus). Within these models we contribute to the study of :
- Theory of entanglement : graph states, measures of entanglement.
- Mathematical and logical foundation : categorical axiomatisation of quantum mechanics, quantum and classical information flow, semantics for quantum computation.
- Quantum cryptography : quantum secret sharing.
Pour en savoir plus : voir en ligne CARTE @ LORIA