Over the past 27 years, quantum computing has seen a huge rise in interest from both
academia and industry. At the current rate, quantum computers are growing in size rapidly …

Quantum computers promise dramatic advantages in processing speed over currently
available computer systems. Quantum computing offers great promise in a wide variety of …

The formal analysis of critical systems is supported by a vast space of modelling formalisms
and tools. The variety of incompatible formats and tools however poses a significant …

Over the past few years, several quantum software stacks (QSS) have been developed in
response to rapid hardware advances in quantum computing. A QSS includes a quantum …

We introduce a new paradigm for analysing and finding bugs in quantum circuits. In our
approach, the problem is given by a ‍triple {P} C {Q} and the question is whether, given a set …

We introduce the LOv-calculus, a graphical language for reasoning about linear optical
quantum circuits with so-called vacuum state auxiliary inputs. We present the axiomatics of …

Abstract Model-checking techniques have been extended to analyze quantum programs
and communication protocols represented as quantum Markov chains, an extension of …

This article presents a symbolic approach to model checking quantum circuits using a set of
laws from quantum mechanics and basic matrix operations with Dirac notation. We use …

The modern theory of functional programming languages uses monads for encoding
computational side-effects and side-contexts, beyond bare-bone program logic. Even …

This paper summarises the results obtained by the author and his collaborators in a program
logic approach to the verification of quantum programs, including quantum Hoare logic …