- Basic principles for quantum computation and communication: quantum resources and operations, classically controlled quantum computation, state of the art for the physical implementation of quantum computers;
- Communication, the quantum way: quantum key distribution, quantum state teleportation;
- Computing with quantum resources: Grover's and Shor's quantum algorithms, generalizations and other principles in quantum algorithmics;
- Foundational structures for quantum computation: measurement-based quantum computation, abstract quantum machines, quantum lambda calculi, quantum process calculi, quantum type systems, issues in semantics, open problems.

Quantum Computation Group

Leibniz Laboratory

46 avenue Felix Viallet

38000 Grenoble France

Phone: +33 4 76 57 46 47

Fax: +33 4 76 57 46 02

E-mail: Philippe.Jorrand@imag.fr

Dr. Philippe Jorrand currently is Director of Research at CNRS (Centre National de la Recherche Scientifique)

Research experience:

- Design of programming languages for NASA and NSA (USA) at the end of the sixties.
- R&D in programming languages with IBM France and with CNRS in the seventies.
- Research in process algebras with IBM Research California at the end of the seventies.
- Process algebras, term rewriting and parallel inferencing in Grenoble in the eighties.
- Head of large research laboratories in AI and fundamental computer science, at Grenoble University, from the mid-eighties until the end of the nineties.
- Full time research and head of a research group in quantum information processing since year 2000, Leibniz Laboratory, Grenoble.

08:30 - 10:30: | Lectures 1 and 2, and discussion |

10:30 - 11:00: | Coffee break |

11:00 - 13:00: | Lectures 3 and 4, and discussion |

purequantum Turing machines, measurement-based and classically-controlled Turing machines, quantum cellular automata, quantum lambda calculi with quantum type systems, and quantum process calculi. It will be shwon how these abstract models of quantum computation give rise to the design of quantum programming languages, and a number of open problems for the design of adequate semantic frameworks will be explained. Concluding remarks will close this tutorial with an overview of the current hot topics in quantum information processing and communication.

- A concise introduction, easy to read and well written: E. G. Rieffel and W. Polak. An introduction to quantum computing for non physicists. Los Alamos e-print archive, http://arxiv.org/abs/quant-ph/9809016, 1998. Also published in ACM Computing Surveys, Vol. 32(3), pp. 300-335, 2000.
- Two textbooks: M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000. A. Y. Kitaev, A. H. Shen and M. N. Vyalyi. Classical and Quantum Computation. American Mathematical Society, Graduate Studies in Mathematics, Vol. 47, 2002.
- Two recent reports on the state of the art and on the perspectives: ARDA Quantum Information Science and Technology Roadmapping Project. Quantum Computation Roadmap. http://qist.lanl.gov/, ARDA document, version 2.0, 2004. ERA Pilot Roadmap Quantum Information Sciences and Technologies. QIPC - Strategic report on current status, visions and goals for research in Europe, http://qist.ect.it/Reports/reports.htm, EU document, version 1.1,