Reversible computation is a heavily investigated emerging technology due to its promising
characteristics in low-power design, its application in quantum computations, and several …

Verifying equivalence between two quantum circuits is a hard problem, that is nonetheless
crucial in compiling and optimizing quantum algorithms for real-world devices. This paper …

Automated reasoning techniques have been proven of immense importance in classical
applications like formal verification, circuit design and probabilistic inference. The domain of …

Quantum systems provide a new way of conducting computations based on the so-called
qubits. Due to the potential for significant speed-ups, this field received significant research …

In the 1970s, researchers started to utilize quantum mechanics to address questions in
computer science and information theory—establishing new research directions (such as …

This tutorial introduces quantum computing with a focus on the applicability of formal
methods in this relatively new domain. We describe quantum circuits and convey an …

Reversible circuits are composed of a set of circuit lines that are passed through a cascade
of reversible gates. Since the number of circuit lines is crucial, functional logic synthesis …

This thesis (Habilitation\a diriger des recherches) presents some of my research
contributions since my Ph. D defense in 2008. I have had the chance to participate in the …

Today, energy saving is a major design target, since the number of mobile-or power-
independent devices is increasing. These devices should operate as long as possible with …

Currently, there is an ongoing “race” to build the first practically useful quantum computer
that provides substantial speed-ups for certain problems compared to conventional …