Abstract: We review the framework of operational probabilistic theories, with particular emphasis on those notions that are related to the structure of composite systems. We then introduce the fermio...
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: The ability to perform two measurements simultaneously is not granted by quantum mechanics. In this talks, I will introduce several notions, such as joint measurability and coexistence of m...
Abstract: Here we report the increase of the coherence time T 2 of a single-electron spin at room temperature by using dynamical decoupling. We show that the Carr-Purcell-Meiboom-Gill (CPMG) pulse se...
Abstract: Short Bio:
Abstract: Short Bio: