内容: 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 lead ...
内容: 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 photon...
内容: 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 applies to...
内容: This paper studies verification of quantum systems, including quantum programs. We consider three kinds of long-term behaviour, namely reachability, repeated reachability and persistence, of qu...
内容: 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 informat...
内容: 人物介绍: