Reversible Functional Programming Languages

Activity: Talk or presentation typesLecture and oral contribution

Michael Kirkedal Thomsen - Other

  • Department of Computer Science
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.
11 Jul 2017

External organisation (Academic)

NameNanzan University
Country/TerritoryJapan

ID: 186164318