Joshua Ammermann

Context: Quantum computing is an emerging field that uses quantum mechanical effects to improve the way specific problems are solved compared to classical computing. In order to achieve this, greater emphasis is placed on software, as well as improvements to hardware. In recent years, many different approaches to creating quantum software have emerged. Certain structures and patterns often occur in quantum algorithms. The first works began to catalogue recurring problems and solutions in quantum software in pattern catalogues.

Goal: This thesis should investigate the definition of templates for recurring problems. It should also design an interface to easily integrate these templates into our Quantum IDE tool (https://github.com/MoQel/QuaK) and provide an initial template catalogue. It is important to consider the side conditions implied by the templates that must be met for concrete instantiations of the templates.

Requirements: Prior knowledge of quantum computing is not required but might be helpful.