High Level Structures for Quantum Computing

Dr. Jaroslaw Adam Miszczak is a researcher at the Institute of Theoretical and Applied Informatics of the Polish Academy of Sciences in Gliwice, Poland. He obtained his Master's degree with specialization in theoretical physics from University of Silesia in Katowice, Poland, in 2005 and Ph.D. degree in Computer Science from the Institute of Theoretical and Applied Informatics of the Polish Academy of Sciences, Gliwice, Poland, in July 2008. His research interests include quantum information theory, foundations of quantum mechanics, scientific computing, and theory of programming languages.

• Introduction.- Turing machines.- Quantum Finite State Automata.- Computational Circuits.- Random Access Machines.- Quantum Programming Environment.- Quantum Programming Languages.- Imperative quantum programming.- Functional Quantum Programming.- Outlook.