Mon compte


Peter Selinger is a Professor of Mathematics and Computer Science at Dalhousie University. He received his Ph.D. is from the University of Pennsylvania in 1997. His main research interest is the semantics of programming languages, and specifically the theory of programming languages for quantum computing, which he helped pioneer. More recently, he also became interested in the application of number-theoretic methods to unitary approximation problems. He is an editor of the journal Logical Methods in Computer Science and a founder of the workshop series Quantum Physics and Logic.

Facebook Twitter Google+
Mon Compte