Time and Location: Tuesday 10:00-11:30 KED B004, Thursday 10:00-11:30 KED B004

Course Description: This course will be a graduate-level course in quantum computation, with an emphasis on quantum programming languages and models. Likely topics include: basics of quantum computation, density matrices and superoperators, quantum flow charts, basic domain theory and category theory, models of quantum programming languages, quantum phenomena (teleportation, non-locality, error correction, quantum cryptography), quantum algorithms and complexity, higher-order quantum computation. Time permitting, we may also study topics from quantum information theory and topological quantum computation.

Instructor: Peter Selinger. Office: KED 205D. Phone: 562-5800 ext. 3510. Email: selinger@mathstat.dal.ca (please put "5361" in subject line).

Prerequisites: Some familiarity with the basic concepts of quantum computation will be useful; MAT 5990 (MATH 5900F) is recommended but not required

Textbook: There will be no "official" textbook for the course. Instead, I will suggest reading material as appropriate. Our two main references are:

• John Preskill's lecture notes from Caltech, available online at http://www.theory.caltech.edu/people/preskill/ph229/.
• M.A. Nielsen and I.L. Chuang, Quantum computation and quantum information, Cambridge University Press 2000. I have put this book on reserve in the library.

Course Work: I will assign homework in class. In lieu of a final exam, each student will give a 20-30 minute presentation on a topic which we agree on. I will present a choice of suitable topics and reading material.

Course Homepage: http://www.mathstat.dal.ca/~selinger/5361/.

To Peter Selinger's Homepage: