Contents |
Quantum Computation in Grenoble
Head: Philippe Jorrand
Institution: Laboratoire d'Informatique de Grenoble (LIG)
Homepage: http://equipes-lig.imag.fr/capp/qcg/
E-mail: philippe.jorrand (at) imag.fr
Research
Our main focus is on studying models of quantum computation:
- Measurement-based QC: development of specific algorithmics, complexity, protocols, fault tolerant schemes for the one-way model and other MBQC models.
- Quantum cellular automata: block representation, unitarity, intrinsic universality, symmetries.
- Formal models and abstract machines for QC: measurement calculus, quantum Turing machines, quantum lambda calculus, quantum functional languages, quantum process algebra.
Within these models we contribute to the study of:
- Theory of entanglement: graph states, measures of entanglement, static analysis of entanglement in quantum languages via type systems and related logics.
- Simulation of quantum operators: direct synthesis of unitaries and Hamiltonians in various QC models.
- Semantics for quantum computation: quantum data and control, dynamic quantum logics, quantum type systems.
- Mathematical and logical foundations: generalised Bloch representation, quantum and classical information flow, category theory.
Permanent Staff
- Philippe Jorrand
- Pablo Arrighi
- Elham Kashefi
- Mehdi Mhalla
- Frédéric Prost
Post-docs
- Julien Degorre
- Jonathan Grattage
Graduate Students
- Renan Fargetton
