Joshua Ammermann

Context: Quantum computing is an emerging field that leverages quantum mechanical effects to deliver improvements in the computation of specific problems compared to classical computing. To achieve this, more focus is placed on software in addition to hardware being improved. In recent years, many different approaches to creating quantum software have emerged. While quantum information theory allows for the composition of unitary operations (the building blocks of quantum software), different concrete notations used by quantum programming languages and SDKs for composition (e.g., via nested functions or objects) exist. Furthermore, recurring problems in quantum software have been catalogued in a pattern catalogue.

Goal: This thesis should first identify and compare the different notions of composition in quantum software. The creation of templates for recurring problems through the use of composition should then be investigated. It is also important to consider the side conditions implied by the templates that must be met for concrete instantiations of the templates. Finally, a model for these templates should be designed and an exemplary template catalogue created.

Requirements: Prior knowledge of quantum computing is not required but might be helpful. Interest in programming languages is probably useful.