Abstract: Quantum correlation complexity and quantum communication complexity are tow ways to quantify the minimal resources needed in generating multipartite correlations by players located at diffe...
Abstract: Quantum cryptography allows two people to communicate in absolute secrecy using unbreakable codes. In this talk I introduce the basics of the continuous-variable version of quantum cryptogr...
Abstract: After the two beautiful talks given by Giulio and Alioscia, who respectively introduced to us the very board worlds of non-local quantum games and quantum irreversibility, I would like to l...
Abstract: Quantum theory is often presented as the theory describing the microscopic world, and admittedly, it has done this extremely well for decades. Nonetheless, the question of whether it applie...
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...