Selinger, Peter
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.
Vidéos
Number-theoretic methods in quantum computing
An important problem in quantum computing is the so-called approximate synthesis problem: to find a quantum circuit, preferably as short as possible, that approximates a given unitary operator