Ich beschäftige mich mit dem Entwurf von Quantenschaltungen. In diesem Zusammenhang interessiere ich mich besonders für das Paradigma der Selbsterklärungen in quantenklassischen Systemen. Ich arbeite derzeit an Quanten-Debugging-Ansätzen, die dem Entwickler nicht nur mögliche Fehler aufzeigen, sondern auch erklären, wie sie zustande kommen.