This project investigates the foundation of hybrid quantum-classical programming (HQP). Due to inherent limitations of quantum computers, addressing challenging real-world problems using quantum computers - now and in the future - will require a hybrid approach that combines massively parallel classical high-performance computing (HPC) on big data, with the delegation of classically intractable subproblems on relatively small data sets to quantum computers.
Projects in this topic can be angled towards different areas such as
- Quantum programming language design
- Tensor models
- Models for quantum algebras (ZX-calculus, etc.)
- High-level compilation and optimisation of quantum computations