Quantum Software Lab ( University of Edinburgh)