A quantum programming language w/ compiler

Organization
Algorithms&Theory
Abstract
IBM has a working quantum computer which can be used as a cloud service.
The machine is programmed by a fairly awkward assembly language called QASM. The goal of this thesis is:
* design a quantum-capable programming language; and
* write a compiler which compiles that language into QASM.

You are free to decide the features of the programming language (within the constraints imposed by QASM).


Be part of the Quantum Revolution.
Graduation Theses defence year
2017-2018
Supervisor
Dirk Oliver Theis
Spoken language (s)
English
Requirements for candidates
* Linear Algebra (complex numbers, unitary matrices, hermitian matrices)
AND
* 07.024 Quantum Cryptography or 05.018 Quantum Computing (or supervised self study)
AND
* Compilers (e.g., 03.008)
Level
Masters
Keywords
#TCS, #quantum

Application of contact

 
Name
Dirk Oliver Theis
Phone
E-mail
dotheis@ut.ee