Peter Selinger is a Professor of Mathematics and Computer Science at Dalhousie University. He received his PhD 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. He has served on numerous program committees, and has given plenary lectures at international conferences including MFPS, TLCA, CTCS, FLOPS, POPL, WoLLIC, and TYPES.
- Logical Structures in Computation, Fall 2016. Visiting Scientist.