Semantic methods in quantum computing

The purpose of this research project is to develop programming languages for quantum computing, as well as techniques for reasoning about such languages. Quantum computation, which is based on the laws of quantum physics, is so far only a theoretical possibility, but one that could yield vastly more powerful computers than those available today. The laws of quantum physics are not intuitive to programmers used to writing code for classical machines; by developing quantum programming languages and studying their properties, we hope to narrow the gap between theory and practice.