Peter Selinger

Office Number: Chase Room 303

Education: PhD - University of Pennsylvania (1997)

Publications:

• C. Heunen, A. Kissinger, P. Selinger. Completely positive projections and biproducts. To appear in Proceedings of the 10th International Workshop on Quantum Physics and Logic (QPL 2013), Barcelona, 2013.
• A.S. Green, P.L. Lumsdaine, N.J. Ross, P. Selinger, B. Valiron. An Introduction to Quantum Programming in Quipper. In Proceedings of the 5th International Conference on Reversible Computation (RC 2013), Victoria, BC, Canada, Lecture Notes in Computer Science 7948:110–124, Springer, 2013.
• O. Malherbe, P. Scott, P. Selinger. Presheaf models of quantum computation: an outline. In Bob Coecke, Luke Ong, Prakash Panangaden, editors, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky. Lecture Notes in Computer Science 7860:178-194, Springer, 2013.
• A.S. Green, P.L. Lumsdaine, N.J. Ross, P. Selinger, B. Valiron. Quipper: A Scalable Quantum Programming Language. In Proceedings of the 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2013), Seattle, ACM SIGPLAN Notices 48(6):333–342, June 2013.
• P. Selinger. Efficient Clifford+T approximation of single-qubit operators. Preprint, 16 pages, December 2012. Available from arXiv:1212.6253.
• B. Giles, P. Selinger. Exact synthesis of multiqubit Clifford+T circuits. Physical Review A 87, 032332 (7 pages), 2013.
• P. Selinger. Quantum circuits of T-depth one. Physical Review A 87, 042302 (4 pages), 2013.

Personal site:  http://www.mathstat.dal.ca/~selinger/