Quantum computers exhibit markedly different behavior from their classical counterparts, necessitating the development of new programming technology to harness their potential while guaranteeing the correctness of quantum programs and optimising the utilisation of currently scarce quantum computational resources.
Our group works on both theoretical and practical aspects of quantum programming technology, with a strong emphasis on the mathematical foundations of quantum programming languages that serve as the basis for guaranteeing software correctness. Our collaborative efforts extend internationally, with Robin Kaarsgaard serving as a Co-Investigator on the EPSRC-funded project "Rubber DUQ: Flexible Dynamic Universal Quantum programming" led by Chris Heunen at the University of Edinburgh.
Contact
See more
Section of Artificial Intelligence, Cybersecurity, and Programming Languages