In this project, you will a basic understanding quantum computations. You will work with high-level programming language aspects of quantum computing and relation to existing problems.
Project
The project will center on high-level programming languages and the understanding of a software stack for this. You will work with one og more topics relating to programming languages for quantum computations relating to design, their compilation to quantum circuits and instruction sets for quantum computers, synthesis of quantum error handling and correction, examples of quantum algorithms expressed in high-level languages, classical programming and high-performance simulation of quantum algorithms, and relevant mathematical foundations, semantics and algebra for quantum program transformation and optimisation.
Relevant IFI courses for this project
During this master project, you will need to get good foundational understanding of programming languages and transformation. Relevant courses during this project would be:
- MAT3420 – Quantum Computing
- IN5630 – Programming Language Implementation and Formalisation
- IN5440: Selected topics in static analysis
- INF5110: Compiler design