Peter Selinger


Peter Selinger

Phone: (902) 494-3311
Mailing Address: 
Department of Mathematics & Statistics
Dalhousie University
6297 Castine Way - PO Box 15000
Halifax, Nova Scotia, Canada
B3H 4R2
Research Topics:
  • Categories Algebra Topology-ATCAT
  • Category theory
  • Theory of programming languages
  • Quantum computing
  • Logic

Office Number:
Chase Room 303

Education: PhD - University of Pennsylvania (1997)


  • 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: