Animesh Datta, University of Warwick
I will present our results on the verification of the DQC1 model of quantum computation. I will start with a brief description of the model and outline the strategy we employ. I will point out some of the strengths and limitations of our strategy, and draw connections with other strategies. I will also highlight the role of our work within the Networked Quantum Information Technologies Hub of the UK National Quantum Technologies Programme.