Abstract: A new approach for the realization of a quantum interface between single photons and single ions in an ion crystal is proposed and analyzed. In our approach the coupling between a single ph...
Abstract: This paper studies verification of quantum systems, including quantum programs. We consider three kinds of long-term behaviour, namely reachability, repeated reachability and persistence, o...
Abstract: Quantum Mechanics presents a disturbingly different picture of physical reality to the classical world-view. These non-classical features also offer new resources and possibilities for info...
Abstract: Short Bio:
Abstract: Short Bio:
Abstract: We propose a method of forming quantum-size emitters within a pre-defined photonic crystal in a self-aligned fashion through controlled removal of quantum well layers via selective wet-chem...