TITLE:
A Language Abstraction for Quantum Computations based on the Reversible Model
ABSTRACT:
Quantum computing is getting real and each month gives promises about new developments. So far all applications involving quantum circuits of very limited depth, hand designed circuits suffice. However, this year it is predicted that quantum computing moves from pure science towards engineering, mainly due to the advances in fabrication of universal quantum computers at the labs of Google and Microsoft. As a result of quantum computers scale up, design automation is necessary in order to fully leverage the power of this emerging computational model.
This talk will present background and model of quantum computations and show how this is abstracted into a higher-level language abstraction from which quantum circuits can be generated. There exist several design languages which are developed for enabling a structured way of designing quantum algorithms. In this talks I will show languages and design that is build from reversible computation model, which provides a partial bridge between the conventional and quantum realms.